Bailhache, Patrice. „Poszukiwanie Procedury Inteligentnego Dowodzenia Twierdzeń“. Acta Universitatis Lodziensis. Folia Philosophica. Ethica-Aesthetica-Practica, Nr. 9, Januar 1993, S. 133-44, doi:10.18778/0208-6107.09.14.