@misc{indiciae21e04487cad2,
  title = {ADD-Lib: Decision Diagrams in Practice},
  author = {Frederik Gossen and Alnis Murtovi and Philip Zweihoff and Bernhard Steffen},
  year = {2019},
  url = {https://arxiv.org/abs/1912.11308},
  note = {Source identifier: 1912.11308}
}