The Finite Controllability of the Maslov Case

Stål Aanderaa, Warren D. Goldfarb. The Finite Controllability of the Maslov Case. Journal of Symbolic Logic, 39(3):509-518, 1974.