William T. Zaumen. Computer-Assisted Circuit Evaluation in PROLOG for VLSI. In Eric D. Carlson, editor, Databases for Business and Office Applications, Database Week, May 23-26, 1983, San Jose, Proceedings. pages 179-183, ACM, 1983. [doi]
Abstract is missing.