Viliam Geffert, Zuzana Bednárová, Carlo Mereghetti, Beatrice Palano. Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant Height. In Andrei A. Bulatov, Arseny M. Shur, editors, Computer Science - Theory and Applications - 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings. Volume 7913 of Lecture Notes in Computer Science, pages 100-111, Springer, 2013. [doi]
Abstract is missing.