On First-Order μ-Calculus over Situation Calculus Action Theories.

Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi

Browse the full KR paper archive.