P. Bailhache, „Poszukiwanie procedury inteligentnego dowodzenia twierdzeń“, FPhil, Nr. 9, S. 133–144, Jan. 1993.