Formal Methods in Knowledge Engineering (1995)

by Manfred Aben