Establishing trust in automated reasoning

https://metaror.org/article/establishing-trust-in-automated-reasoning-2/