Equational Binary Decision Diagrams.

Jan Friso Groote, Jaco van de Pol

Browse the full LPAR paper archive.