@InProceedings{Bedersdorfer_et_al:1993,
      AUTHOR = {Bedersdorfer, Jochen and Konrad, Karsten and Neis, Ingo and Scherf, Oliver and Steffen, Jörg and Wein, Michael},
      TITLE = {Eine Spezifikationssprache für Transformationen auf getypten Merkmalsstrukturen},
      YEAR = {1993},
      BOOKTITLE = {Neuere Entwicklungen der deklarativen KI-Programmierung, September 13-25},
      NUMBER = {RR-93-35},
      PAGES = {17-30},
      EDITOR = {Boley, Harold and Bry, François and Geske, Ulrich},
      SERIES = {Research Report},
      ADDRESS = {Berlin, Germany},
      URL = {http://www.ags.uni-sb.de/~konrad/papers/slant.ps.gz},
      ABSTRACT = {The field of declarative AI programming is briefly characterized. Its recent developments in Germany are reflected by a workshop as part of the scientific congress KI-93 at the Berlin Humboldt University. Three tutorials introduce to the state of the art in deductive databases, the programming language Gödel, and the evolution of knowledge bases. Eleven contributed papers treat knowledge revision/program transformation, types, constraints, and type-constraint combinations.},
      ANNOTE = {COLIURL : Bedersdorfer:1993:STG.pdf Bedersdorfer:1993:STG.ps}
}