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