DOI,IST REx ID,Research Group,Title of publication
10.23638/LMCS-13(3:23)2017,465,"KrCh,ToHe",Edit distance for pushdown automata