Title: Meta-interpreters in logic programming and their application to knowledge-based systems
First published: 1990