Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. Synthesis from Temporal Specifications Using Preferred Answer Set Programming. In Mario Coppo, Elena Lodi, G. Michele Pinna, editors, Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings. Volume 3701 of Lecture Notes in Computer Science, pages 280-294, Springer, 2005. [doi]
Abstract is missing.