Antichains Algorithms for the Inclusion Problem Between mega-VPL.

Kyveli Doveri, Pierre Ganty, Luka Hadzi-Dokic

Browse the full TACAS paper archive.