Making KR systems useful (1991)

by E Mays, B Dionne
Venue:In Terminological Logic Users Workshop -- Proceedings