Publication Annotated Reasoning Dieter Hutter In: Annals of Mathematics and Artificial Intelligence (AMAI), Vol. 29, Kluwer Academic Publisher, 2000. AbstractSpecial Issue on Strategies in Automated Deduction http://www.dfki.de/vse/papers/hutter00a.ps.gz (gz, 56 KB ) BibTeX Export Annotated Reasoning@article{pub1577, author = { Hutter, Dieter }, title = {Annotated Reasoning}, year = {2000}, volume = {29}, journal = {Annals of Mathematics and Artificial Intelligence (AMAI)}, publisher = {Kluwer Academic Publisher} }