The Journal of Finance, Vol. 50, No. 5. (1995), pp. 1371-1376.
Algorithms – ESA 2006 (2006), pp. 708-719.
Theory of Computing Systems, Vol. 1, No. 2. (1 June 1967), pp. 89-111.
Archive for History of Exact Sciences, Vol. 51, No. 1. (1 March 1997), pp. 3-27.
Archive for Mathematical Logic, Vol. 25, No. 1. (1 December 1985), pp. 67-74.
The Bulletin of Symbolic Logic, Vol. 1, No. 2. (1995), pp. 189-201.
American Journal of Mathematics, Vol. 65, No. 2. (1943), pp. 197-215.
Synthese, Vol. 27, No. 1. (1 March 1974), pp. 199-209.
The Economic Journal, Vol. 101, No. 404. (1991), pp. 69-74.
SIGMETRICS Perform. Eval. Rev., Vol. 1, No. 4. (December 1972), pp. 3-16.
SIGACT News, Vol. 8, No. 2. (1976), pp. 18-24.
(1988), pp. 109-116.
(15 January 2001)
(10 September 2007)
ACM Trans. Comput. Logic, Vol. 5, No. 4. (October 2004), pp. 611-668.
Bulletin of the American Mathematical Society, No. 73. (1967), pp. 145-148.
(1950)