On the Complexity of H-Subsumption
1999 ◽
pp. 355-371
◽