Equational Anti-unification over Absorption Theories.

Mauricio Ayala-Rincn, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia

Browse the full IJCAR paper archive.