Erich Grädel, Yuri Gurevich. Metafinite Model Theory. Inf. Comput., 140(1):26-81, 1998.
@article{GradelG98, title = {Metafinite Model Theory}, author = {Erich Grädel and Yuri Gurevich}, year = {1998}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/GradelG98}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {140}, number = {1}, pages = {26-81}, }