Differential BDDs
by Anuchitanukul, A. and Manna, Z. and Uribe, T.
in Computer Science Today,
Edited by: J. van Leeuwen Published by Springer-Verlag Sep 1995.
