Logic programming : new frontiers / D.R. Brough. — Oxford : Intellect, 1992.
310 p. : ilus. ; 24 cm.
ISBN 1871516250