Automata-driven automated induction
scientific article; zbMATH DE number 1853190
scientific article