Logic programming : formal methods and practical applications - Beierle, Christoph, 1954-; Plumer, Lutz, 1951- (Amsterdam : Elsevier, 1995)
Includes bibliographical references
Keywords: Logic Programming