@misc{relational700, author = {Kenji Maillard and Catalin Hritcu and Exequiel Rivas and Antoine Van Muylder}, title = {The Next 700 Relational Program Logics}, howpublished = {arXiv:1907.05244}, year = {2019}, month = jul, url = {https://arxiv.org/abs/1907.05244}, }