Theory of generalized annotated logic programming and its applications (1992)

by M Kifer, V S Subrahmanian
Venue:Journal of Logic Programming