System Description: *SAT: A Platform for the Development of Modal Decision Procedures.

Enrico Giunchiglia, Armando Tacchella

Browse the full CADE paper archive.