Title: A critical comparison of Excelerator and Prolog as consistency checking and prototyping tools
First published: 1990