@inproceedings{TUW-140567,
  added-at = {2008-12-18T09:41:24.000+0100},
  author = {Egly, Uwe and Seidl, Martina and Woltran, Stefan},
  biburl = {http://www.bibsonomy.org/bibtex/20959188c18b01739bba57a84c6f6640d/big},
  booktitle = {Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling},
  interhash = {812b5628c84d9b3949c3e805f4d2be1d},
  intrahash = {0959188c18b01739bba57a84c6f6640d},
  keywords = {imported},
  timestamp = {2008-12-18T09:41:24.000+0100},
  title = {A Solver for QBFs in Nonprenex Form: Overview and Experimental Results},
  year = 2006
}

@inproceedings{conf/cisis/KarglW08,
  added-at = {2008-12-16T22:09:10.000+0100},
  author = {Kargl, Horst and Wimmer, Manuel},
  biburl = {http://www.bibsonomy.org/bibtex/24cf0e8d82edc8a41b1678926837adeee/big},
  booktitle = {CISIS},
  date = {2008-12-11},
  description = {dblp},
  ee = {http://dx.doi.org/10.1109/CISIS.2008.110},
  interhash = {8242ba27ca668cfe457d8a83062538f0},
  intrahash = {4cf0e8d82edc8a41b1678926837adeee},
  keywords = {SmartMatcher},
  pages = {879-885},
  timestamp = {2008-12-16T22:09:10.000+0100},
  title = {SmartMatcher - How Examples and a Dedicated Mapping Language can Improve theQuality of Automatic Matching Approaches.},
  url = {http://dblp.uni-trier.de/db/conf/cisis/cisis2008.html#KarglW08},
  year = 2008
}

@inproceedings{conf/dsml/WimmerSSFK08,
  added-at = {2008-12-16T12:22:37.000+0100},
  author = {Wimmer, Manuel and Schauerhuber, Andrea and Strommer, Michael and Flandorfer, Jürgen and Kappel, Gerti},
  biburl = {http://www.bibsonomy.org/bibtex/289bbe854d1d4f5ca38200777e63a720d/big},
  booktitle = {DSML},
  crossref = {conf/dsml/2008},
  date = {2008-06-03},
  description = {dblp},
  editor = {Fahland, Dirk and Sadilek, Daniel A. and Scheidgen, Markus and Weißleder, Stephan},
  ee = {http://ceur-ws.org/Vol-324/paper3.pdf},
  interhash = {1474082b362b68cd555402aa789bc64e},
  intrahash = {89bbe854d1d4f5ca38200777e63a720d},
  keywords = {MetaModelbrowser},
  pages = {31-44},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  timestamp = {2008-12-16T12:22:37.000+0100},
  title = {How Web 2.0 can Leverage Model Engineering in Practice.},
  url = {http://dblp.uni-trier.de/db/conf/dsml/dsml2008.html#WimmerSSFK08},
  volume = 324,
  year = 2008
}