Andreas Meier. Proof planning with multiple strategies. PhD thesis, Saarland University, 2007. [doi]
@phdthesis{de-2219, title = {Proof planning with multiple strategies}, author = {Andreas Meier}, year = {2007}, url = {http://scidok.sulb.uni-saarland.de/volltexte/2007/1336/}, note = {http://d-nb.info/986482919}, researchr = {https://researchr.org/publication/de-2219}, cites = {0}, citedby = {0}, school = {Saarland University}, }