Logic Programs as Types for Logic Programs

Thom W. Frühwirth Ehud Y. Shapiro Moshe Y. Vardi Eyal Yardeni Logic Programs as Types for Logic Programs 300-309 conf/lics/LICS6 1991 LICS db/conf/lics/lics91.html#FruhwirthSVY91