Cite
A Canonical Locally Named Representation of Binding.
MLA
Pollack, Randy, et al. “A Canonical Locally Named Representation of Binding.” Journal of Automated Reasoning, vol. 49, no. 2, Aug. 2012, pp. 185–207. EBSCOhost, https://doi.org/10.1007/s10817-011-9229-y.
APA
Pollack, R., Sato, M., & Ricciotti, W. (2012). A Canonical Locally Named Representation of Binding. Journal of Automated Reasoning, 49(2), 185–207. https://doi.org/10.1007/s10817-011-9229-y
Chicago
Pollack, Randy, Masahiko Sato, and Wilmer Ricciotti. 2012. “A Canonical Locally Named Representation of Binding.” Journal of Automated Reasoning 49 (2): 185–207. doi:10.1007/s10817-011-9229-y.