Yuri Gurevich, Margus Veanes. Logic with Equality: Partisan Corroboration and Shifted Pairing. Inf. Comput., 152(2):205-235, 1999.
@article{GurevichV99:0, title = {Logic with Equality: Partisan Corroboration and Shifted Pairing}, author = {Yuri Gurevich and Margus Veanes}, year = {1999}, tags = {logic}, researchr = {https://researchr.org/publication/GurevichV99%3A0}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {152}, number = {2}, pages = {205-235}, }