(1) Advanced Research in VLSI: Proceedings of the 1989 Decennial Caltech Conference Edited by Charles L. Seitz ISBN: 9780262192828 MIT Press View at publisher
(2) Logic-Based Knowledge Representation Edited by Peter M. Jackson, Johannes Reichgelt and Frank van Harmelen ISBN: 9780262100380 MIT Press View at publisher