1. I. Attali and P. Franchi-Zannettacci. Unification-free Execution of Typol Programs by Semantic Attribute Evaluation. In Int'l Conference Symposium on Logic Programming,pages 160-177, 1988. MIT Press.
2. Isabelle Attali. Compilation de programmes Typol par Attributs Sémantiques. PhD thesis, University of Nice, April 1989.
3. Thierry Despeyroux. Executable Specification of Static Semantics. In Semantics of Data Types, pages 215-233. Springer LNCS 173, 1984.
4. E. Domenjoud. A Technical Note on AC-unification. The Number of Minimal Unifiers of the Equation ax
1 +...+ax
p
= ßy
1 +...ßy
q
J. Automated Reasoning, 8 (1): 39 - 44, 1992.
5. Gerhard Gentzen. Untersuchungen über das logische Schließen. Mathem. Zeitschrift, 39:176-210 and 405 - 431, 1935.