Subsumption in KL-ONE is Undecidable

Manfred Schmidt-Schauß. Subsumption in KL-ONE is Undecidable. In KR. pages 421-431, 1989.

Abstract

Abstract is missing.