The Mosaic Method for Temporal Logics.

Maarten Marx, Szabolcs Mikuls, Mark Reynolds

Browse the full TABLEAUX paper archive.