%0 Journal Article %1 journals/ndjfl/MeredithP68 %A Meredith, C. A. %A Prior, A. N. %D 1968 %J Notre Dame J. Formal Log. %K dblp %N 3 %P 212-226 %T Equational logic. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl9.html#MeredithP68 %V 9

@article{journals/ndjfl/MeredithP68, added-at = {2020-05-21T00:00:00.000+0200}, author = {Meredith, C. A. and Prior, A. N.}, biburl = {https://www.bibsonomy.org/bibtex/2066d8aa61669e3ac4d842e7063561e96/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093893457}, interhash = {92c99776292de0e409c808e871baf37f}, intrahash = {066d8aa61669e3ac4d842e7063561e96}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 3, pages = {212-226}, timestamp = {2020-05-23T12:17:57.000+0200}, title = {Equational logic.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl9.html#MeredithP68}, volume = 9, year = 1968 }