E.: Logic programs as types for logic programs (1991)

by T Frühwirth, E Shapiro, M Vardi, Yardeni
Venue:In: Proceedings of the IEEE Symposium on Logic in Computer Science