Binary Decision Diagrams by Shard Rewriting.

Jaco van de Pol, Hans Zantema

Browse the full MFCS paper archive.