Variant-Based Equational Anti-unification.

Mara Alpuente, Demis Ballis, Santiago Escobar, Julia Sapia

Browse the full LOPSTR paper archive.