Synthesis from temporal specifications using preferred answer set programming (2005)

by S Heymans, D Van Nieuwenborgh, D Vermeir
Venue:Proceedings of the 9th Italian Conference on Theoretical Computer Science, Lecture Notes in Computer Science 3701