Dieter Hutter, Werner Stephan. A Portrait of a Scientist: Logic, AI and Politics. In Mechanizing Mathematical Reasoning. pages 1-13, 2005. [doi]
@inproceedings{HutterS05,
title = {A Portrait of a Scientist: Logic, AI and Politics},
author = {Dieter Hutter and Werner Stephan},
year = {2005},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&id=KCJUU5XA8YQVQDCD},
tags = {logic},
researchr = {https://researchr.org/publication/HutterS05},
cites = {0},
citedby = {0},
pages = {1-13},
booktitle = {Mechanizing Mathematical Reasoning},
}