Qualifying number restrictions in concept languages (1991)

by B Hollunder, F Baader
Venue:In Proc. of the 2nd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-91