Finite model reasoning in description logics, in (1996)

by D Calvanese
Venue:Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR-96