Two semantics for definite meta-programs, using the non-ground representation (1995)

by B MARTENS, D DE SCHREYE
Venue:In Meta-Logics and Logic Programming