%0 Conference Paper %1 conf/lpar/BaumgartnerFT06 %A Baumgartner, Peter %A Fuchs, Alexander %A Tinelli, Cesare %B LPAR %D 2006 %E Hermann, Miki %E Voronkov, Andrei %I Springer %K dblp %P 572-586 %T Lemma Learning in the Model Evolution Calculus. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2006.html#BaumgartnerFT06 %V 4246 %@ 3-540-48281-4

@inproceedings{conf/lpar/BaumgartnerFT06, added-at = {2017-11-12T00:00:00.000+0100}, author = {Baumgartner, Peter and Fuchs, Alexander and Tinelli, Cesare}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/230c73f545d010fc787e4cb51e9817875/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/2006}, editor = {Hermann, Miki and Voronkov, Andrei}, ee = {https://doi.org/10.1007/11916277_39}, interhash = {b9a0a81ac8c7c8e3540b256705cf686d}, intrahash = {30c73f545d010fc787e4cb51e9817875}, isbn = {3-540-48281-4}, keywords = {dblp}, pages = {572-586}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:46:51.000+0200}, title = {Lemma Learning in the Model Evolution Calculus.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2006.html#BaumgartnerFT06}, volume = 4246, year = 2006 }