@inproceedings{conf/ipsen/SchurrZ96,
  added-at = {2010-02-12T16:21:43.000+0100},
  author = {Schürr, Andy and Zündorf, Albert},
  biburl = {https://www.bibsonomy.org/bibtex/238c6960131bb7b8394e1460d803efcc3/zuendorf},
  booktitle = {IPSEN Book},
  crossref = {conf/ipsen/96},
  date = {2003-01-16},
  description = {dblp},
  editor = {Nagl, Manfred},
  interhash = {8045967ad3e0971ca91d6faf66be8241},
  intrahash = {38c6960131bb7b8394e1460d803efcc3},
  isbn = {3-540-61985-2},
  keywords = {dblp myown},
  pages = {297-323},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2010-02-12T16:30:12.000+0100},
  title = {Specification of Logical Documents and Tools.},
  url = {http://dblp.uni-trier.de/db/conf/ipsen/ipsen96.html#SchurrZ96},
  volume = 1170,
  year = 1996
}