D. Schlegel and S. Shapiro, “Inference Graphs: A New Kind of Hybrid Reasoning System”, AAAI, vol. 28, no. 1, Jun. 2014.