Glenn Jennings, Joachim Isaksson, Per Lindgren. Ordered ternary decision diagrams and the multivalued compiled simulation of unmapped logic. In Proceedings 27th Annual Simulation Symposium, ANSS 1994, La Jolla, California, USA, April 11-15, 1994. pages 99-105, IEEE, 1994. [doi]
Abstract is missing.