A computable semantics for general logic programs (1989)

by M Wallace
Venue:Journal of Logic Programming