Skip to content

A Meta-Interpreter in Prolog for Extended Logic Programs.

James D. Jones

Year2006
ProceedingsCATA

Browse the full CATA paper archive.