A Regular Type Language for Logic Programs (1992)

by Philip W Dart, Justin Zobel
Venue:In Types in Logic Programming