Unrestricted and Disjoint Operations over Multi-stack Visibly Pushdown Languages. - Stefan D. Bruda; Tawhid Bin Waez (ICSOFT (2), 2011)