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