Interpolation for Converse PDL.

Johannes Kloibhofer, Valentina Trucco Dalmas, Yde Venema

Browse the full TABLEAUX paper archive.