@inproceedings{conf/cade/EglyR96,
  added-at = {2009-10-12T00:00:00.000+0200},
  author = {Egly, Uwe and Rath, Thomas},
  biburl = {http://www.bibsonomy.org/bibtex/277d650c8ce9decc7cbd4df1cceb1d816/dblp},
  booktitle = {CADE},
  crossref = {conf/cade/1996},
  date = {2009-10-12},
  description = {dblp},
  editor = {McRobbie, Michael A. and Slaney, John K.},
  ee = {http://dx.doi.org/10.1007/3-540-61511-3_103},
  interhash = {8d9f648de917846d3fc310dcc8a769b1},
  intrahash = {77d650c8ce9decc7cbd4df1cceb1d816},
  isbn = {3-540-61511-3},
  keywords = {dblp},
  pages = {403-417},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2009-10-12T00:00:00.000+0200},
  title = {On the Practical Value of Different Definitional Translations to Normal Form.},
  url = {http://dblp.uni-trier.de/db/conf/cade/cade96.html#EglyR96},
  volume = 1104,
  year = 1996
}