On the declarative and procedural semantics of logic programs (1989)

by T C Przymusinksi
Venue:Journal of Automated Reasoning