Metematički i programski problemi veštačke inteligencije u oblasti automatskog dokazivanja teorema - Hotomski, Petar (Naučna knjiga, 1988)