Towards a Theory of Types in Prolog

Prateek Mishra. Towards a Theory of Types in Prolog. In SLP. pages 289-298, 1984.

Bibliographies