"Generalized Planning with Loops under Strong Fairness Constraints."

Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics