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