@inproceedings{c6d4d1c555e649c5b98bff2e86e828dd,
title = "Equational binary decision diagrams",
author = "J.F. Groote and {Pol, van de}, J.C.",
year = "2000",
doi = "10.1007/3-540-44404-1_11",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "161--178",
editor = "M. Parigot and A. Voronkov",
booktitle = "Logic for Programming and Automated Reasoning (Proceedings 7th International Conference, LPAR2000, Reunion Island, France, November 11-12, 2000)",
address = "Germany",
}