Ross Willard
发表
Michael Pinsker,
Manuel Bodirsky,
Jakub Oprsal,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Michael Pinsker,
Manuel Bodirsky,
Jakub Oprsal,
2020,
ArXiv.
Michael Pinsker,
Manuel Bodirsky,
Antoine Mottet,
2020,
Transactions of the American Mathematical Society.