@inproceedings{ReusStreicher2011,
  title = {Relative completeness for logics of functional programs.},
  pages = {470-480},
  publisher = {LIPIcs. Leibniz Int. Proc. Inform., 12},
  author = {Reus, Bernhard and Streicher, Thomas},
  booktitle = {Computer Science Logic 2011, {CSL 2011}},
  year = {2011},
}