%0 Journal Article %1 journals/jancl/Romanov07 %A Romanov, A. %D 2007 %J J. Appl. Non Class. Logics %K dblp %N 3 %P 347-358 %T De Jongh and Glivenko theorems for equality theories. %U http://dblp.uni-trier.de/db/journals/jancl/jancl17.html#Romanov07 %V 17

@article{journals/jancl/Romanov07, added-at = {2020-04-25T00:00:00.000+0200}, author = {Romanov, A.}, biburl = {https://www.bibsonomy.org/bibtex/296284b90c81311cbf68d067cd810c439/dblp}, ee = {https://doi.org/10.3166/jancl.17.347-357}, interhash = {d02c9c866490228659485334c0b152b8}, intrahash = {96284b90c81311cbf68d067cd810c439}, journal = {J. Appl. Non Class. Logics}, keywords = {dblp}, number = 3, pages = {347-358}, timestamp = {2020-04-28T12:07:32.000+0200}, title = {De Jongh and Glivenko theorems for equality theories.}, url = {http://dblp.uni-trier.de/db/journals/jancl/jancl17.html#Romanov07}, volume = 17, year = 2007 }