"05241 Executive Summary - Synthesis and Planning."

Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics