https://123dok.net/document/zx5o6xvw-modeling-bitcoin-protocols-with-probabilistic-logic-programming.html