"Representing Circuits More Efficiently in Symbolic Model Checking."

Jerry R. Burch, Edmund M. Clarke, David E. Long (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics