The virtual feedback problem in hierarchical representations of combinatorial circuits (1991)

by R Kolla, B Serf
Venue:Acta Informatica