Annotated Reasoning

@inproceedings{pub1600,
    author = {

Hutter, Dieter
},
    editor = {

Gramlich, B.
 and 

Kirchner, H.
 and 

Pfenning, F.
},
    title = {Annotated Reasoning},
    booktitle = {Proceedings CADE-16 Workshop on Strategies in Automated Deduction. International Conference on Automated Deduction (CADE)},
    year = {1999}
}