"A Unified Approach For Showing Language Containment And Equivalence ..."

Edmund M. Clarke, Anca Browne, Robert P. Kurshan (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics