1. A. Aiken and T. K. Lakshman. Directional type checking of logic programs. In Static Analysis Symposium. LNCS. Springer Verlag, 1994.
2. Logic programming with typed unification and its realization on abstract machine;Beierle;IBM Journal of Research and Development,1992
3. J. Boye and J. Maluszyńsky. Two aspects of directional types. In L. Sterling, editor, Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, pages 747–761, Tokio, 1995. The MIT Press.
4. F. Bronsard, T. Lakshman, and U. S. Reddy. A framework of directionality for proving termination of logic programs. In K. R. Apt, editor,Logic Programming: Proceedings of 1992 Joint International Conference and Symposium, pages 321–335. The MIT Press, 1992.
5. M. Hanus. parametric order-sorted types in logic programming. In Proc. TAPSOFT'91, volume 494 of LNCS, pages 181–200, Brighton, Apr. 1991. Springer Verlag.