Ouaknine, Joël Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;
skolem_sets21.pdf (Preprint), 160KB
Luca, F., Ouaknine, J., & Worrell, J. (2021). Universal Skolem Sets. In 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1-6). New York, NY: ACM. doi:10.1109/LICS52264.2021.9470513.