Nonmonotonic reasoning by Antoniou, Grigorios, Williams, Mary-Anne fromSymbolic computation 0 Type: Book
