Conditional narrowing modulo SMT and axioms.

Luis Aguirre, Narciso Mart-Oliet, Miguel Palomino, Isabel Pita

Browse the full PPDP paper archive.