John C. Cherniavsky. Review of "Unsolvable classes of quantificational formulas" by Harry R. Lewis. Addison-Wesley 1979. and "The decision problem: solvable classes of quantificational formulas" by Burton Dreben and Warren D. Goldfarb. Addison-Wesley 1979. SIGACT News, 14(4):70-71, 1982. [doi]
@article{Cherniavsky82,
title = {Review of "Unsolvable classes of quantificational formulas" by Harry R. Lewis. Addison-Wesley 1979. and "The decision problem: solvable classes of quantificational formulas" by Burton Dreben and Warren D. Goldfarb. Addison-Wesley 1979},
author = {John C. Cherniavsky},
year = {1982},
doi = {10.1145/1008902.1008905},
url = {https://doi.org/10.1145/1008902.1008905},
researchr = {https://researchr.org/publication/Cherniavsky82},
cites = {0},
citedby = {0},
journal = {SIGACT News},
volume = {14},
number = {4},
pages = {70-71},
}