A method for building models automatically. Experiments with an extension of OTTER (1994)

by Christophe BOURELY, Ricardo CAFERRA, Nicolas PELTIER
Venue:In Proc. of CADE-12