@InProceedings{Beckert:IJCAR06-266,
  author =       "Bernhard Beckert and Andr{\'e} Platzer",
  title =        "Dynamic Logic with Non-Rigid Functions",
  year =         "2006",
  pages =        "266--280",
  ee =           "http://dx.doi.org/10.1007/11814771_23",
  URL =          "http://www.uni-koblenz.de/~beckert/pub/ijcar2006.pdf",
  editor =       "Ulrich Furbach and Natarajan Shankar",
  booktitle =    "Automated Reasoning, Third International Joint
                 Conference, {IJCAR} 2006, Seattle, {WA}, {USA}, August
                 17--20, 2006, Proceedings",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "4130",
  ISBN =         "3-540-37187-7",
}