Bailhache, P. Poszukiwanie Procedury Inteligentnego Dowodzenia Twierdzeń. FPhil 1993, 133-144.