U. Egly, R. Pichler, S. Woltran: "On Deciding Subsumption Problems"; Annals of Mathematics and Artificial Intelligence, 43 (2005), 1-4; 255 - 294.
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC05936291