Formal Specification of Knowledge Models (1990)

by F Harmelen, H Akkermans, J Balder, G Schreiber, B Wielinga
Venue:Tech. Rept. ESPRIT Basic Research Project P3178, GMD, F3-XPS