%0 Journal Article %1 journals/afp/MichaelisHLH16 %A Michaelis, Julius %A Haslbeck, Max W. %A Lammich, Peter %A Hupel, Lars %D 2016 %J Arch. Formal Proofs %K dblp %T Algorithms for Reduced Ordered Binary Decision Diagrams. %U http://dblp.uni-trier.de/db/journals/afp/afp2016.html#MichaelisHLH16 %V 2016

@article{journals/afp/MichaelisHLH16, added-at = {2020-05-25T00:00:00.000+0200}, author = {Michaelis, Julius and Haslbeck, Max W. and Lammich, Peter and Hupel, Lars}, biburl = {https://www.bibsonomy.org/bibtex/24365e09077089045141a12881f21f038/dblp}, ee = {https://www.isa-afp.org/entries/ROBDD.shtml}, interhash = {86b9b77dbb7f7c3f63ee7bd450e0981f}, intrahash = {4365e09077089045141a12881f21f038}, journal = {Arch. Formal Proofs}, keywords = {dblp}, timestamp = {2020-05-26T11:50:40.000+0200}, title = {Algorithms for Reduced Ordered Binary Decision Diagrams.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2016.html#MichaelisHLH16}, volume = 2016, year = 2016 }