"Logic-based merging: the infinite case."

José Luis Chacón, Ramón Pino Pérez (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics