A Proof Theoretic Interpretation of Model Theoretic Hiding

@inproceedings{pub5831,
    author = {

Codescu, Mihai
 and 

Horozal, Fulya
 and 

Kohlhase, Michael
 and 

Mossakowski, Till
 and 

Rabe, Florian
},
    editor = {

Kreowski, Hans-Jörg
 and 

Mossakowski, Till
},
    title = {A Proof Theoretic Interpretation of Model Theoretic Hiding},
    booktitle = {Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10), 20th, July 1-4, Schloss Etelsen, Germany},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2012},
    volume = {7137},
    pages = {118--138},
    publisher = {Springer}
}