Synthesizing Set Functions
arXiv (2018) - Comments
arxiv: 1808.07401  issn: 2331-8422 

Sergio Antoy, Michael Hanus, Finn Teegen