A Modular Equational Generalization Algorithm.

Mara Alpuente, Santiago Escobar, Jos Meseguer, Pedro Ojeda

Browse the full LOPSTR paper archive.