Alexander Bolotov

• Clausal resolution for branching-time temporal logic