Logic Programs as Types for Logic Programs

Thom W. Frhwirth, Ehud Shapiro, Moshe Y. Vardi, Eyal Yardeni

Browse the full LICS paper archive.