Robert B. France;Thomas W. G. Docker
-;-
The Knowledge Acquisition and Representation Language, KARL
IEEE Transactions on Knowledge and Data Engineering