Bergstra, Jan Aldert, and Marcus Düwell. “Accusation Theory”. Transmathematica (December 1, 2021). Accessed August 31, 2026. https://www.transmathematica.org/index.php/journal/article/view/61.