%0 Journal Article %1 journals/jsyml/ChagrovZ93 %A Chagrov, Alexander V. %A Zakharyaschev, Michael %D 1993 %J J. Symb. Log. %K dblp %N 3 %P 967-1002 %T The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml58.html#ChagrovZ93 %V 58

@article{journals/jsyml/ChagrovZ93, added-at = {2014-08-05T00:00:00.000+0200}, author = {Chagrov, Alexander V. and Zakharyaschev, Michael}, biburl = {https://www.bibsonomy.org/bibtex/21ad4d58e49b26d19f61a0f7d0ed5c463/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183744309}, interhash = {f095fd54de41fd7709017f73df12a3b0}, intrahash = {1ad4d58e49b26d19f61a0f7d0ed5c463}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 3, pages = {967-1002}, timestamp = {2015-06-18T02:38:22.000+0200}, title = {The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml58.html#ChagrovZ93}, volume = 58, year = 1993 }