Massimo Bartoletti, Roberto Zunino. Verifying liquidity of Bitcoin contracts. IACR Cryptology ePrint Archive, 2018:1125, 2018. [doi]
@article{BartolettiZ18a, title = {Verifying liquidity of Bitcoin contracts}, author = {Massimo Bartoletti and Roberto Zunino}, year = {2018}, url = {https://eprint.iacr.org/2018/1125}, researchr = {https://researchr.org/publication/BartolettiZ18a}, cites = {0}, citedby = {0}, journal = {IACR Cryptology ePrint Archive}, volume = {2018}, pages = {1125}, }