%0 Journal Article %1 journals/rsl/DzikW19 %A Dzik, Wojciech %A Wojtylak, Piotr %D 2019 %J Rev. Symb. Log. %K dblp %N 1 %P 37-61 %T Unification in superintuitionistic Predicate Logics and its Applications. %U http://dblp.uni-trier.de/db/journals/rsl/rsl12.html#DzikW19 %V 12

@article{journals/rsl/DzikW19, added-at = {2019-08-20T00:00:00.000+0200}, author = {Dzik, Wojciech and Wojtylak, Piotr}, biburl = {https://www.bibsonomy.org/bibtex/215da812f0e299c59c06c1398b077818e/dblp}, ee = {https://doi.org/10.1017/S1755020318000011}, interhash = {981b7dd5ec3e04a2770e9dc964b8f1dc}, intrahash = {15da812f0e299c59c06c1398b077818e}, journal = {Rev. Symb. Log.}, keywords = {dblp}, number = 1, pages = {37-61}, timestamp = {2019-08-21T11:41:20.000+0200}, title = {Unification in superintuitionistic Predicate Logics and its Applications.}, url = {http://dblp.uni-trier.de/db/journals/rsl/rsl12.html#DzikW19}, volume = 12, year = 2019 }