Test-pattern Generation for VLSI Circuits in a Prolog Environment. - Rajiv Gupta 005 (ICLP, 1986)