Rychlikowskiand Truderung. Polymorphic Directional Types for Logic Programming. ACM Press, 2001, doi:10.1145/773184.773192.