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.
V. Diekert, A. Myasnikov, and A. Weiß. ISSAC'15 : proceedings of the 40th International Symposium on Symbolic and Algebraic Computation, page 141-148. New York, NY, ACM, (2015)