On the Complexity of H-Subsumption

Reinhard Pichler. On the Complexity of H-Subsumption. In Georg Gottlob, Etienne Grandjean, Katrin Seyr, editors, Computer Science Logic, 12th International Workshop, CSL 98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings. Volume 1584 of Lecture Notes in Computer Science, pages 355-371, Springer, 1998.

Abstract

Abstract is missing.