An improved on-the-fly tableau construction for a real-time temporal logic (2003)

by M C W Geilen
Venue:In International Conference on Computer Aided Verification