An on-the-fly tableau construction for a real-time temporal logic. volume (1926)

by M C W Geilen, D R Dams
Venue:of Lecture Notes in Computer Science