Authors: Levy, J Veanes, M

Citation: J. Levy et M. Veanes, On the undecidability of second-order unification, INF COMPUT, 159(1-2), 2000, pp. 125-150

Authors: Degtyarev, A Gurevich, Y Narendran, P Veanes, M Voronkov, A

Citation: A. Degtyarev et al., Decidability and complexity of simultaneous rigid E-unification with one variable and related results, THEOR COMP, 243(1-2), 2000, pp. 167-184

Authors: Veanes, M

Citation: M. Veanes, Farmer's Theorem revisited, INF PROCESS, 74(1-2), 2000, pp. 47-53

Authors: Gurevich, Y Veanes, M

Citation: Y. Gurevich et M. Veanes, Logic with equality: Partisan corroboration and shifted pairing, INF COMPUT, 152(2), 1999, pp. 205-235