Kofola 1.0: A Modular Approach to mega-Regular Complementation and Inclusion Checking.

Ondrej Alexaj, Vojtech Havlena, Luks Holk, Ondrej Lengl, Yong Li, Nicolas Mazzocchi

Browse the full CAV paper archive.