APA   Click to copy
Toppel, M., & Rathjen, M. (2019). On Relating Theories: Proof-Theoretical Reduction. Springer, Mathesis Universalis, Computability and Proof, 311–331.

Chicago/Turabian   Click to copy
Toppel, M., and M. Rathjen. “On Relating Theories: Proof-Theoretical Reduction.” Springer Mathesis Universalis, Computability and Proof (2019): 311–331.

MLA   Click to copy
Toppel, M., and M. Rathjen. “On Relating Theories: Proof-Theoretical Reduction.” Springer, vol. Mathesis Universalis, Computability and Proof, 2019, pp. 311–31.

@article{m2019a,
  title = {On Relating Theories: Proof-Theoretical Reduction},
  year = {2019},
  journal = {Springer},
  pages = {311-331},
  volume = {Mathesis Universalis, Computability and Proof},
  author = {Toppel, M. and Rathjen, M.}
}