Matematički i programski problemi veštačke inteligencije u oblasti automatskog dokazivanja teorema - Hotomski, Petar (Beograd : Naučna knjiga, 1991)
Bibliografija: str. 185-201