Verification of the Completeness of Unification Algorithms la Robinson.

Andria B. Avelar, Flvio L. C. de Moura, Andr Luiz Galdino, Mauricio Ayala-Rincn

Browse the full WoLLIC paper archive.