A Method for Building Models Automatically. Experiments with an Extension of OTTER.

Christophe Bourely, Ricardo Caferra, Nicolas Peltier

Browse the full CADE paper archive.