Logic programs as types for logic programs (1991)

by Frühwirth
Venue:In Proceedings, Sixth Annual IEEE Symposium on Logic in Computer Science