Automatyczna dedukcja na podstawie analogii - Zwinogrodzki, Zbigniew (Kraków : Akademia Górniczo-Hutnicza im. S. Staszica, 1982)