Using Semantic Knowledge by Annotating Formulas

@inproceedings{pub1599,
    author = {

Hutter, Dieter
},
    editor = {

Basin, D.
 and 

Gabbay, D.
},
    title = {Using Semantic Knowledge by Annotating Formulas},
    booktitle = {Proceedings 1st Workshop on Labelled Deduction. Workshop on Labelled Deduction, Freiburg},
    year = {1998},
    address = {Freiburg, Germany}
}