J. Kaczmarek, „Three aspects of decidability”, FPhil, nr 7, s. 65–73, sty. 1990.