1. Aiken, A., Kozen, D., Vardi, M., Wimmers, E.L.: The complexity of set constraints. In: Proceedings of CSL 1993, pp. 1–17. Springer, Heidelberg (1993)
2. Aiken, A., Lakshman, T.K.: Directional type checking of logic programs. In: Charlier, B.L. (ed.) Proceedings of the First International Static Analysis Symposium, pp. 43–60. Springer, Heidelberg (1994)
3. Aiken, A., Lakshman, T.K., Wimmers, E.: Soft typing with conditional types. In: Proceedings of POPL 1994, pp. 163–173. ACM Press, New York (1994)
4. Aiken, A., Wimmers, E.: Solving systems of set constraints. In: Proceedings of LICS 1992, pp. 329–340. IEEE Computer Society Press, Los Alamitos (1992)
5. Bachmair, L., Ganzinger, H., Waldmann, U.: Set constraints are the monadic class. In: Proceedings of LICS 1993, pp. 75–83. IEEE Computer Society Press, Los Alamitos (1993)