M. Comini,
“VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications”,
Proceedings of 11th International Workshop on Functional and (constraint) Logic Programming. Dipartimento di Matematica e Informatica, Università di Udine, Udine, Italy, pp. 233–236, 2002.