Publikation Using Semantic Knowledge by Annotating Formulas Dieter Hutter In: D. Basin; D. Gabbay (Hrsg.). Proceedings 1st Workshop on Labelled Deduction. Workshop on Labelled Deduction, Freiburg, 1998. BibTeX Export 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} }