Albert R. Meyer, Jerzy Tiuryn. Equivalences among Logics of Programs. J. Comput. Syst. Sci., 29(2):160-170, 1984.
@article{MeyerT84, title = {Equivalences among Logics of Programs}, author = {Albert R. Meyer and Jerzy Tiuryn}, year = {1984}, tags = {logic programming, programming, logic}, researchr = {https://researchr.org/publication/MeyerT84}, cites = {0}, citedby = {0}, journal = {J. Comput. Syst. Sci.}, volume = {29}, number = {2}, pages = {160-170}, }