Using Logic Programming and Coroutining for VLSI Design. - Ulrich Bieker; Andreas Neumann 001 (WLP, 1993)

Application of Constraint Logic Programming for VLSI CAD Tools. - Renate Beckmann; Ulrich Bieker; Ingolf Markhof (CCL, 1994)

Retargetable compilation of self-test programs using constraint logic programming. - Ulrich Bieker (Code Generation for Embedded Processors, 1994)

Retargetable Self-Test Program Generation Using Constraint Logic Programming. - Ulrich Bieker; Peter Marwedel (DAC, 1995)

Retargierbare Compilierung von Selbsttestprogrammen digitaler Prozessoren mittels Constraint-logischer Programmierung. - Ulrich Bieker (Shaker, 1995)

Using Logic Programming and Coroutining for Electronic CAD. - Ulrich Bieker; Andreas Neumann 001 (J. Log. Program., 1996)