"Model Checking for Action-Based Logics."

Alessandro Fantechi, Stefania Gnesi, Gioia Ristori (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics