E.: A type system for logic programs (1990)

by E Yardeni, Shapiro
Venue:Journal of Logic Programming