Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin. Natural Deduction Calculus for Computation Tree Logic. In 2006 IEEE John Vincent Atanasoff International Symposium on Modern Computing (JVA2006), 3-6 October 2006, Sofia, Bulgaria. pages 175-183, IEEE Computer Society, 2006. [doi]
Abstract is missing.