rau.bib

@INPROCEEDINGS{rau-sabel-schmidt-schauss:2012:ijcar,
  AUTHOR = {Conrad Rau AND David Sabel AND Manfred Schmidt-Schau{\ss}},
  TITLE = {Correctness of Program Transformations as a Termination Problem},
  BOOKTITLE = {Automated Reasoning -- Proceedings of the 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012},
  MONTH = {June},
  SERIES = {Lecture Notes in Computer Science},
  EDITOR = {Gramlich, Bernhard and Miller, Dale and Sattler, Uli},
  PUBLISHER = {Springer Berlin / Heidelberg},
  ISBN = {978-3-642-31364-6},
  KEYWORD = {Computer Science},
  PAGES = {462-476},
  VOLUME = {7364},
  PDF = {http://www.ki.informatik.uni-frankfurt.de/papers/rau/auto-induct.pdf},
  COPYRIGHT = {\copyright \href{http://www.springer.com/}{Springer Verlag}, 
   \href{http://dx.doi.org/10.1007/978-3-642-31365-3_36}
   {The original publication is available at www.springerlink.com}},
  YEAR = {2012},
  SLIDESIJCAR2012 = {http://www.ki.informatik.uni-frankfurt.de/persons/rau/ijcar2012-slides.pdf}
}

@INPROCEEDINGS{rau-sabel-schmidt-schauss:12:WST,
  AUTHOR = {Conrad Rau AND David Sabel AND Manfred Schmidt-Schau{\ss}},
  TITLE = {Encoding Induction in Correctness Proofs of Program Transformations as a Termination Problem},
  BOOKTITLE = {12th International Workshop on Termination, WST 2012, February 19-23, 2012, Obergurgl, Austria},
  EDITOR = {Georg Moser},
  SERIES = {},
  VOLUME = {},
  YEAR = 2012,
  MONTH = {February},
  PAGES = {74-78},
  ONLINEPROCEEDINGS = {http://cl-informatik.uibk.ac.at/wst2012/wst2012.pdf},
  PDF = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/wst2012.pdf},
  NOTE = {Published online and open access by G. Moser, Institute of Computer Science, University of Innsbruck, Austria},
  SLIDESWST2012 = {http://www.ki.informatik.uni-frankfurt.de/persons/rau/wst2012-slides.pdf}
}

@TECHREPORT{rau-schmidt-schauss:frank:46:11,
  AUTHOR = {Conrad Rau and Manfred Schmidt-Schau{\ss}},
  TITLE = {Computing Overlappings by Unification in the Deterministic
                  Lambda Calculus LR with letrec, case, constructors,
                  seq and variable chains},
  INSTITUTION = {Institut f\"ur Informatik. Fachbereich Informatik und
                  Mathematik. Goethe-Universit\"at Frankfurt am Main},
  TYPE = {Frank report},
  NUMBER = {46},
  YEAR = 2011,
  MONTH = {August},
  PDF = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-46.pdf}
}

@INPROCEEDINGS{rau-schmidt-schauss:unif:11,
  AUTHOR = {Conrad Rau and Manfred Schmidt-Schau{\ss}},
  TITLE = {A Unification Algorithm to Compute Overlaps in a
                  Call-by-Need Lambda-Calculus with Variable-Binding
                  Chains},
  BOOKTITLE = {Proceedings of the 25th International Workshop on Unification},
  PAGES = {35--41},
  YEAR = 2011,
  MONTH = {July},
  PDF = {http://www.ki.informatik.uni-frankfurt.de/papers/rau/unif-2011.pdf},
  URL = {https://sites.google.com/a/cs.uni.wroc.pl/unif-2011/paper_4.pdf?attredirects=0}
}

@TECHREPORT{rau-schmidt-schauss:frank:41:10,
  AUTHOR = {Conrad Rau and Manfred Schmidt-Schau{\ss}},
  TITLE = {Towards Correctness of Program Transformations Through Unification and  Critical Pair Computation},
  INSTITUTION = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. Goethe-Universit\"at Frankfurt am Main},
  TYPE = {Frank report},
  NUMBER = {41},
  YEAR = 2011,
  MONTH = {January},
  PREVIOUSVERS = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-41-v1.pdf},
  PDF = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-41.pdf}
}

@INPROCEEDINGS{rau-schmidt-schauss:unif:10,
  AUTHOR = {Conrad Rau and Manfred Schmidt-Schau{\ss}},
  TITLE = {Towards Correctness of Program Transformations Through Unification and  Critical Pair Computation},
  BOOKTITLE = {Proceedings of the 24th International Workshop on Unification},
  SERIES = {Electronic Proceedings in Theoretical Computer Science},
  VOLUME = {42},
  YEAR = 2010,
  MONTH = {December},
  PAGES = {39--54},
  PDF = {http://www.ki.informatik.uni-frankfurt.de/papers/rau/unif-2010.pdf}
}