"Synthesis from Temporal Specifications Using Preferred Answer Set Programming."

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics