Finite model reasoning in description logics (1996)

by Diego Calvanese
Venue:In Proc. of the 5th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-96
Citations:36 - 16 self