Benchmark problems for formal nonmonotonic reasoning (1989)

by V Lifschitz
Venue:Non-monotonic reasoning : 2nd international workshop, volume 346 of Lecture notes in computer science