Readings in Knowledge Repr esent ation (Los A 1 tos, CA: Yorgan Kauf mann (1985)

by R J Brachman, H J Levesque