Pushdown Model Checking above the Cubic Bottleneck.

A. R. Balasubramanian, Dmitry Chistikov, Rupak Majumdar

Browse the full LICS paper archive.