1. [3] Bauer, A., “The hydra game,” 2008, http://math.andrej.com/2008/02/02/the-hydra-game/
2. [12] Sozeau, M., “Program,” Chapter 22 in The Coq Proof Assistant Reference Manual, version 8.3, available at http://coq.inria.fr/doc/index.html (accessed October 16, 2012).
3. [1] Alexander, S., “On guessing whether a sequence has a certain property,” Journal of Integer Sequences, vol. 14 (2011), no. 11.4.4.
4. [2] Alexander, S., “Mechanization of the first-order syntax of variadic functions in Coq,” letter to the referees of this paper, December 2011.
5. [4] Byrd, W., and D. Friedman, “From variadic functions to variadic relations: A miniKanren perspective,” pp. 105–117 in Scheme and Functional Programming (Portland, Ore., 2006), University of Chicago Technical Report TR-2006-06, University of Chicago Department of Computer Science, Chicago, 2006.