Robin Hirsch Ian M. Hodkinson Roger D. Maddux Provability with finitely many variables. 348-379 2002 8 Bulletin of Symbolic Logic 3 http://www.math.ucla.edu/~asl/bsl/0803/0803-002.ps db/journals/bsl/bsl8.html#HirschHM02