Logic programming and nonmonotonic resoning / Includes bibliographical references. ISBN: 35404211712 Dewey Class. No.: 006.3 LEC