TY  - RPRT
TI  - Verifying liquidity of recursive Bitcoin contracts
AU  - Massimo Bartoletti
AU  - Stefano Lande
AU  - Maurizio Murgia
AU  - Roberto Zunino
PY  - 2022
DO  - 10.46298/lmcs-18(1:22)2022
UR  - https://arxiv.org/abs/2011.14165
ID  - 2011.14165
ER  -