A Dynamic Logic with Traces and Coinduction.

Richard Bubel, Crystal Chang Din, Reiner Hhnle, Keiko Nakata

Browse the full TABLEAUX paper archive.