Title: Logic programming and the specification of circuits
First published: 1984