Katia Hristova Yanhong A. Liu Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems. 190-206 2006 conf/vmcai/2006 VMCAI http://dx.doi.org/10.1007/11609773_13 db/conf/vmcai/vmcai2006.html#HristovaL06