de Plassche. Evaluating a formal specification language (1994)

by F Ruiz, F van Harmelen, M Aben, J van
Venue:A Future for Knowledge Acquisition, Proc. 8th EKAW, number 867 in Lecture Notes in Artificial Intelligence