A Regular Type Language for Logic Programs (1992)

by P W, Zobel
Venue:in Type* in Logic Programming