Proving properties of logic programs
Subtitle: a progress report
By: Alan Bundy ... [and others].
Contributors: Bundy, Alan, 1947-; University of Edinburgh. Department of Artificial Intelligence.
Series: D.A.I. research paper -- no. 361
Publisher: Dept. of Artificial Intelligence, University of Edinburgh
Published: 1988
Place of publication: (Edinburgh) ((Hope Park Square, Meadow Lane, Edinburgh, EH8 9NW))
Language: eng
Notes: Paper submitted to 1988 Alvey Conference.

Bibliography, p6.