Zhang, Y.; Wang, J.; Bolduc, F.; Murray, W. G.; Staffen, W. A Preliminary Report of Integrating Science and Computing Teaching Using Logic Programming. AAAI 2019, 33, 9737-9744.