%0 Journal Article %1 journals/jsyml/Junker00 %A Junker, Markus %D 2000 %J J. Symb. Log. %K dblp %N 4 %P 1705-1712 %T A Note On Equational Theories. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml65.html#Junker00 %V 65

@article{journals/jsyml/Junker00, added-at = {2019-03-26T00:00:00.000+0100}, author = {Junker, Markus}, biburl = {https://www.bibsonomy.org/bibtex/2ed73521967fc646e3343ebb790a2a299/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183746258}, interhash = {ace6d0747896470b600802550f1c006e}, intrahash = {ed73521967fc646e3343ebb790a2a299}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 4, pages = {1705-1712}, timestamp = {2019-03-27T11:37:17.000+0100}, title = {A Note On Equational Theories.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml65.html#Junker00}, volume = 65, year = 2000 }