Equational binary decision diagrams. (2000)

by J F Groote, J C van de Pol
Venue:Logic for Programming and Reasoning (LPAR), volume 1955 of Lecture Notes in Artificial Intelligence,