On guessing whether a sequence has a certain property. Alexander, Samuel (2011) Journal of Integer Sequences [electronic only]
On permutographs Thomas, Gerhard G. (1982) Proceedings of the 10th Winter School on Abstract Analysis
On reduced products of Kripke models. Marković, Zoran (1983) Publications de l'Institut Mathématique. Nouvelle Série