Berger, U., & Hou, T. (2014). Uniform Schemata for Proof Rules. Computability in Europe 2015 (CiE 2015), 8493, pp. 53-62. doi:10.1007/978-3-319-08019-2
Chicago Style CitationBerger, Ulrich, and Tie Hou. "Uniform Schemata for Proof Rules." Computability in Europe 2015 (CiE 2015) 8493 (2014): 53-62.
MLA CitationBerger, Ulrich, and Tie Hou. "Uniform Schemata for Proof Rules." Computability in Europe 2015 (CiE 2015) 8493 (2014): 53-62.
Warning: These citations may not always be 100% accurate.