Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (2018) - Comments
doi: 10.1145/3209108.3209182 

---

Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna