Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Former team : | ACASA |
- G. Dowek, Th. Hardin, C. Kirchner : “Higher-order unification via explicit substitutions”, Information and Computation, vol. 157 (1-2), pp. 183-235, (Elsevier) [Dowek 2000]