Logic-based knowledge representation by Jackson, Peter, Reichgelt, Han, Van Harmelen, Frank fromMIT Press series in logic programming 0 Type: Book
