Sources

Every source backing a fact on Mattias Rost's own page, deduplicated — the same source backing several facts appears once.

• https://dl.acm.org/action/showFmPdf?doi=10.1145%2F2037373 — https://dl.acm.org/action/showFmPdf?doi=10.1145%2F2037373
• https://dl.acm.org/action/showFmPdf?doi=10.1145%2F2371664 — https://dl.acm.org/action/showFmPdf?doi=10.1145%2F2371664
• https://dl.acm.org/doi/proceedings/10.1145/3229434 — https://dl.acm.org/doi/proceedings/10.1145/3229434