Veanes, Margus Programming Logics, MPI for Informatics, Max Planck Society;
Gurevich, Y., & Veanes, M. (1999). Logic with Equality: Partisan Corroboration and Shifted Pairing. Information and Computation, 152(2), 205-235.