Formal Methods in Knowledge Engineering (1994)

by M Aben