Two-Variable First-Order Logic with Equivalence Closure.

MLA

Kieronski, Emanuel, et al. “Two-Variable First-Order Logic with Equivalence Closure.” 2012 27th Annual IEEE Symposium on Logic in Computer Science, Jan. 2012, pp. 431–40. EBSCOhost, https://doi.org/10.1109/LICS.2012.53.

APA

Kieronski, E., Michaliszyn, J., Pratt-Hartmann, I., & Tendera, L. (2012). Two-Variable First-Order Logic with Equivalence Closure. 2012 27th Annual IEEE Symposium on Logic in Computer Science, 431–440. https://doi.org/10.1109/LICS.2012.53

Chicago

Kieronski, Emanuel, Jakub Michaliszyn, Ian Pratt-Hartmann, and Lidia Tendera. 2012. “Two-Variable First-Order Logic with Equivalence Closure.” 2012 27th Annual IEEE Symposium on Logic in Computer Science, January, 431–40. doi:10.1109/LICS.2012.53.