@Unpublished{Hutter-99,
 author = {Dieter Hutter},
 title  = {Some Remarks on the Annotation %cons},
 year   = {1999},
 note   = {A note on model theoretical vs. proof theoretical definition of conservative extensions and possible tool support},
}