@misc{indiciae82d202183ba6,
  title = {Some notes on the abstraction operation for Multi-Terminal Binary Decision Diagrams},
  author = {Ludwig Griebl and Johann Schuster},
  year = {2013},
  doi = {10.1007/s10703-013-0198-0},
  url = {https://arxiv.org/abs/1303.6186},
  note = {Source identifier: 1303.6186}
}