Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning (1998)
Niemelä, Ilkka and Schaub, Torsten