Analogieschlüsse beim automatischen Beweisen - Slotosch, Oscar (Kovač, 1992)