Stefan Gerberding. Implizite und explizite Induktionsbeweisverfahren. PhD thesis, Darmstadt University of Technology, 1997. [doi]
@phdthesis{dnb-5020, title = {Implizite und explizite Induktionsbeweisverfahren}, author = {Stefan Gerberding}, year = {1997}, url = {http://d-nb.info/950968544}, researchr = {https://researchr.org/publication/dnb-5020}, cites = {0}, citedby = {0}, school = {Darmstadt University of Technology}, }