A proof theoretic interpretation of model theoretic hiding - Codescu, Silvestru Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian (20th International Workshop on Algebraic Development Techniques, WADT 2010, 2012)