Using theorem provers for PL1EQ as inductive provers - Fuchs, Matthias (Universität <Kaiserslautern>, 1992)