One-Pass Tableaux for Computation Tree Logic.

Pietro Abate, Rajeev Gor, Florian Widmann

Browse the full LPAR paper archive.