@inproceedings{gurevich1976the,
author = {Gurevich, Yuri},
title = {The Decision Problem for Standard Classes},
year = {1976},
month = {August},
abstract = {The classification of prefix-signature fragments of (first-order) predicate logic with equality, completed in [7], is extended to first-order logic with equality and functions. One case was solved (confirming a conjecture of this author) by Saharon Shelah.},
url = {http://approjects.co.za/?big=en-us/research/publication/decision-problem-standard-classes/},
pages = {460-464},
journal = {Journal of Symbolic Logic},
volume = {41},
}