Using Logic Programming and Coroutining for VLSI Design.

Ulrich Bieker Andreas Neumann Using Logic Programming and Coroutining for VLSI Design. 10-14 1993 WLP db/conf/wlp/wlp93.html#BiekerN93