Gerhard Jäger. Proofs as Advanced and Powerful Tool. In IFIP Congress. pages 783-790, 1989.
@inproceedings{Jager89:0,
title = {Proofs as Advanced and Powerful Tool},
author = {Gerhard Jäger},
year = {1989},
researchr = {https://researchr.org/publication/Jager89%3A0},
cites = {0},
citedby = {0},
pages = {783-790},
booktitle = {IFIP Congress},
}