and Chiaki Sakama. Negation as failure in the head (1998)

by Katsumi Inoue
Venue:Journal of Logic Programming