@inproceedings{CHKMR2011a,
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Codescu, Mihai and Horozal, Fulya and Kohlhase, Michael and Mossakowski, Till and Rabe, Florian},
  biburl = {https://www.bibsonomy.org/bibtex/25e4259a6a8f27c60171b965ce244751e/tillmo},
  booktitle = {Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010},
  editor = {Mossakowski, Till and Kreowski, Hans-J{\"o}rg},
  interhash = {d463990485868dee075a51df0c22b206},
  intrahash = {5e4259a6a8f27c60171b965ce244751e},
  isbn = {978-3-642-28411-3},
  keywords = {imported},
  pages = {118-138},
  pdfurl = {https://svn.omdoc.org/repos/latin/public/latin-hiding_wadt10.pdf},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2018-05-03T17:13:21.000+0200},
  title = {A Proof Theoretic Interpretation of Model Theoretic Hiding},
  volume = 7137,
  year = 2012
}