Logic programming : formal methods and practical applications - Beierle, Christoph, 1954-; Plumer, Lutz, 1951- (Elsevier, 1995)