Automata Terms in a Lazy WSkS Decision Procedure.

Vojtech Havlena, Luks Holk, Ondrej Lengl, Toms Vojnar

Browse the full CADE paper archive.