Logic programs as types for logic programsThom Frühwirth, Eyal Yardeni, Moshe Y. Vardi et al.|Unknown|2002Cited by 152