V. Diekert, A. Myasnikov, and A. Weiß. Special issue on the conference ISSAC 2015: Symbolic computation and computer algebra, 83, page 147-165. Amsterdam, Elsevier, (2017)
I. Banerjee, and P. Walter. Dataset, (2022)Related to: Banerjee, I., Walter, P., Guthke, A., Mumford, K.G. & Nowak, W. (2022). The Method of Forced Probabilities: A Computation Trick for Bayesian Model Evidence. Computational Geosciences. Accepted for publication.