Program verification and refactoring in answer set programming - Temple, Nathan (2024)