Logic programs as types for logic programsThom Frühwirth, Eyal Yardeni, Ehud Shapiro et al.|Unknown|2002Cited by 152
A type system for logic programsEyal Yardeni, Ehud Shapiro|The Journal of Logic Programming|1991Cited by 104