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

by Thom W Frühwirth, Ehud Y Shapiro, Moshe Y Vardi
Venue:In Logic in Computer Science