Y. Zhang, J. Wang, F. Bolduc, W. G. Murray, and W. Staffen, “A Preliminary Report of Integrating Science and Computing Teaching Using Logic Programming”, AAAI, vol. 33, no. 01, pp. 9737-9744, Jul. 2019.