Meta-Level Inference Systems (1991)

by F van Harmelen