Automata-driven automated induction (1997)

by A Bouhoula, J-P Jouannaud
Venue:In Proc. 12th IEEE Symp. Logic in Computer Science, Varsaw