IPSJ SIGNotes Programming Language Abstract No.019 - 005
(1990)
IPSJ SIGNotes
Sugano Hiroyasu (1990)
Sugano Hiroyasu "A Formalization of Reflective Prolog and Its Semantics"