D. Schlegel and S. Shapiro, “Concurrent Reasoning with Inference Graphs”, AAAI, vol. 27, no. 1, pp. 1637-1638, Jun. 2013.