Regularity of BPA-Systems is Decidable.

Sjouke Mauw, Hans Mulder

Browse the full CONCUR paper archive.