The ARC Project: Creating logical models of Gothic cathedrals using natural language processing. - Charles Hollingsworth; Stefaan Van Liefferinge; Rebecca A. Smith; Michael A. Covington; Walter D. Potter (LaTeCH@ACL, 2011)

The ARC Project: Reasoning about Representations of Gothic Cathedrals with Artificial Intelligence. - Stefaan Van Liefferinge; Rebecca A. Smith; Tyler Carlson; Elijah Holt; Michael A. Covington; Walter D. Potter (IV, 2012)