Formal Methods in Knowledge Engineering (1995)

by M W M M Aben
Venue:University of Amsterdam