S. L. Uckelman, “Interactive logic in the middle ages”, LLP, vol. 21, no. 4, pp. 439–471, Dec. 2012.