Due to technical problems, please follow the link below for the full version of the paper (CARET Model Checking for Pushdown Systems):

https://www.irif.univ-paris-diderot.fr/_media/users/huvuu/fullversion.pdf