Richiedi una copia del documento: First-order μ-calculus over generic transition systems and applications to the situation calculus

Captcha code
Annulla