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}
}