"Measuring the Expressive Power of Dynamic Logics: An Application of ..."

Johann A. Makowsky (1980)
a service of Schloss Dagstuhl - Leibniz Center for Informatics