Eyal Yardeni. Logic programs as types for logic programs (1991)

by Thom Fruhwirth, Ehud Shapiro, Moshe Vardi
Venue:In Proceedings, Sixth Annual IEEE Symposium on Logic in Computer Science