@Book{HMT71, Author = "Henkin, L. and Monk, J. and Tarski, A.", Year = "1971", Title = "{Cylindrical Algebras}", Volume = "Part 1", Publisher = "North-Holland", Comment = "TPTPRef" }