APA (7th ed.) Citation

Klein, G., & Nipkow, T. (2014). Logic and Proof Beyond Equality. Concrete Semantics, 37-52. https://doi.org/10.1007/978-3-319-10542-0_4

Chicago Style (17th ed.) Citation

Klein, Gerwin, and Tobias Nipkow. "Logic and Proof Beyond Equality." Concrete Semantics 2014: 37-52. https://doi.org/10.1007/978-3-319-10542-0_4.

MLA (9th ed.) Citation

Klein, Gerwin, and Tobias Nipkow. "Logic and Proof Beyond Equality." Concrete Semantics, 2014, pp. 37-52, https://doi.org/10.1007/978-3-319-10542-0_4.