@book{883474f3fb9748a69125a112083f2740,
title = "Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning, Trento, Italy, May 30-June 1,1998",
keywords = "circimscription, default reasoning, diagnosis, implementation, stable models, circimscription, default reasoning, diagnosis, implementation, stable models, circimscription, default reasoning, diagnosis, implementation, stable models",
editor = "Ilkka Niemel{\"a} and Torsten Schaub",
year = "1998",
language = "English",
isbn = "951-22-4072-6",
series = "Helsinki University of Technology, Digital Systems Laboratory. A, Research Report",
publisher = "Helsinki University of Technology",
number = "A52",
address = "Finland",
}