P. Bailhache, “Poszukiwanie procedury inteligentnego dowodzenia twierdzeń”, FPhil, no. 9, pp. 133–144, Jan. 1993.