Logic Programming and Non-monotonic Reasoning
Publisher: MIT Press
Published: 1993