%0 Journal Article %1 journals/mlq/ZakharyaschevA95 %A Zakharyaschev, Michael %A Alekseev, Alexander %D 1995 %J Math. Log. Q. %K dblp %P 15-23 %T All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable. %U http://dblp.uni-trier.de/db/journals/mlq/mlq41.html#ZakharyaschevA95 %V 41

@article{journals/mlq/ZakharyaschevA95, added-at = {2014-02-26T00:00:00.000+0100}, author = {Zakharyaschev, Michael and Alekseev, Alexander}, biburl = {https://www.bibsonomy.org/bibtex/2a5af96000b188801cd6fd47b59cf989b/dblp}, ee = {http://dx.doi.org/10.1002/malq.19950410103}, interhash = {0086253a8226d7744b1edfa0c5c027bb}, intrahash = {a5af96000b188801cd6fd47b59cf989b}, journal = {Math. Log. Q.}, keywords = {dblp}, pages = {15-23}, timestamp = {2015-06-17T21:17:20.000+0200}, title = {All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq41.html#ZakharyaschevA95}, volume = 41, year = 1995 }