Uwe Egly, Reinhard Pichler, Stefan Woltran. On deciding subsumption problems. Annals of Mathematics and Artificial Intelligence, 43(1):255-294, 2005. [doi]
@article{EglyPW05,
title = {On deciding subsumption problems},
author = {Uwe Egly and Reinhard Pichler and Stefan Woltran},
year = {2005},
url = {http://www.springerlink.com/index/10.1007/s10472-005-0434-4},
researchr = {https://researchr.org/publication/EglyPW05},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {43},
number = {1},
pages = {255-294},
}