Pawel Rychlikowski, Tomasz Truderung. Polymorphic Directional Types for Logic Programming. In Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy. pages 61-72, ACM, 2001.
Abstract is missing.