Schlegel, Shapiro, 2014. Concurrent Reasoning with Inference Graphs, in: . Springer International Publishing.. https://doi.org/10.1007/978-3-319-04534-4_10