Thomas Eiter, Thomas Lukasiewicz
Complexity Results for Explanations in the Structural-Model Approach
KR, 2002.
@inproceedings{KR-2002-EiterL, author = "Thomas Eiter and Thomas Lukasiewicz", booktitle = "{Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning}", isbn = "1-55860-554-1", pages = "49--60", publisher = "{Morgan Kaufmann}", title = "{Complexity Results for Explanations in the Structural-Model Approach}", year = 2002, }