H.: Meta and Reflective Computation in Logic Programming and Its Semantics (1990)

by H Sugano
Venue:META90: 2nd Workshop on MetaProgramming in Logic Programming