1. Lecture Notes in Computer Science;A. Aiken,1994
2. Beierle, C.: Type inferencing for polymorphic order-sorted logic programs. In: Sterling, L. (ed.) Proc. of the 12th Int. Conf. on Logic Programming, Tokyo (June 1995)
3. Beierle, C., Meyer, G.: Run-time type computations in the Warren Abstract Machine. The Journal of Logic Programming 18(2), 123–148 (1994)
4. Boye, J., Maluszyńsky, J.: Two aspects of directional types. In: Sterling, L. (ed.) Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokio, pp. 747–761. MIT Press, Cambridge (1995)
5. Bronsard, F., Lakshman, T., Reddy, U.S.: A framework of directionality for proving termination of logic programs. In: Apt, K.R. (ed.) Logic Programming: Proceedings of 1992 Joint International Conference and Symposium, pp. 321–335. The MIT Press, Cambridge (1992)