Richiedi una copia del documento: A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames

Captcha code
Annulla