Peter Padawitz Can inductive proofs be automated? 163-170 1988 35 Bulletin of the EATCS db/journals/eatcs/eatcs35.html#Padawitz88