Wilbur John WalkoeJr., Finite partially-ordered quantification. The journal of symbolic logic, vol. 35 (for 1970, pub. 1971), pp. 535–555. | Publicación