Ordered ternary decision diagrams and the multivalued compiled simulation of unmapped logic. - Glenn Jennings; Joachim Isaksson; Per Lindgren (Annual Simulation Symposium, 1994)