Logical Obstruction to Set Agreement Tasks for Superset-Closed Adversaries. - Koki Yagi; Susumu Nishimura (CoRR, 2020)