A regular type language for logic programs (1992)

by P Dart, J Zobel
Venue:In Types in Logic Programming. MIT