Benchmark Problems for Formal Nonmonotonic Reasoning (1989)
View:
PS
Citation:
In Proceedings of the Second international Workshop on Non-monotonic Reasoning, pp. 202--219 1989.
Bibtex:

Vladimir Lifschitz Faculty vl [at] cs utexas edu