Modeling Bitcoin Protocols with Probabilistic Logic Programming.

Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, Riccardo Zese

Browse the full ILP paper archive.