Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL (1998)

by Giuseppe De Giacomo , Fabio Massacci
Venue:Information and Computation
Citations:56 - 7 self