A logic design front-end for improved engineering productivity. - Frank Rubin; Paul W. Horstmann (DAC, 1983)

Design for Testability Using Logic Programming. - Paul W. Horstmann (ITC, 1983)

Computer aided design (CAD) using logic programming. - Paul W. Horstmann; Edward P. Stabler (DAC, 1984)