Types in logic programming /
Pfenning, Frank.
Cambridge ; London : MIT,
1992.