Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß. Symbolic System Synthesis Using Answer Set Programming. In Pedro Cabalar, Tran Cao Son, editors, Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings. Volume 8148 of Lecture Notes in Computer Science, pages 79-91, Springer, 2013. [doi]
Abstract is missing.