Ulrich Bieker Andreas Neumann Using Logic Programming and Coroutining for Electronic CAD. 199-215 1996 26 J. Log. Program. 2 db/journals/jlp/jlp26.html#BiekerN96