VERIFYING LIQUIDITY OF RECURSIVE BITCOIN CONTRACTS[J] LOGICAL METHODS IN COMPUTER SCIENCE 2022(18) Bartoletti, Massimo Lande, Stefano Murgia, Maurizio Zunino, Roberto
