The expressive powers of the logic programming semantics (1995)

by J S Schlipf
Venue:Journal of Computer and System Sciences