A typed foundation for directional logic programming (1993)

by U S Reddy
Venue:Extensions of logic programming, Lecture Notes in Artificial Intelligence 660