Automatyczna dedukcja na podstawie analogii - Zwinogrodzki, Zbigniew (Automatika, 1982)