"A Call to Regularity."

Moshe Y. Vardi (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics