Leonid Libkin. On the Forms of Locality over Finite Models. In LICS. pages 204-215, 1997. [doi]
@inproceedings{Libkin97, title = {On the Forms of Locality over Finite Models}, author = {Leonid Libkin}, year = {1997}, url = {http://www.computer.org/proceedings/lics/7925/79250204abs.htm}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/Libkin97}, cites = {0}, citedby = {0}, pages = {204-215}, booktitle = {LICS}, }