最终项目:证明魔术的图灵完备性:ACL2中的聚会 作者:列昂尼德·别利亚耶夫(Leonid Belyaev)和塞缪尔·里昂(Samuel Lyon)