CITATION STYLE
Steffen, B., Rüthing, O., & Huth, M. (2018). Inductive Proofs. In Mathematical Foundations of Advanced Informatics (pp. 161–208). Springer International Publishing. https://doi.org/10.1007/978-3-319-68397-3_5
Mendeley helps you to discover research relevant for your work.