Jean-Marie Le Bars
Fragments of Existential Second-Order Logic without 0-1 Laws
LICS, 1998.
@inproceedings{LICS-1998-Bars, author = "Jean-Marie Le Bars", booktitle = "{Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1998.705685", isbn = "0-8186-8506-9", pages = "525--536", publisher = "{IEEE Computer Society}", title = "{Fragments of Existential Second-Order Logic without 0-1 Laws}", year = 1998, }