C. Reotutar, “An Online Logic Programming Development Environment”, AAAI, vol. 30, no. 1, Mar. 2016.