%0 Journal Article %1 journals/apal/KontinenV13 %A Kontinen, Juha %A Väänänen, Jouko A. %D 2013 %J Ann. Pure Appl. Log. %K dblp %N 11 %P 1101-1117 %T Axiomatizing first-order consequences in dependence logic. %U http://dblp.uni-trier.de/db/journals/apal/apal164.html#KontinenV13 %V 164

@article{journals/apal/KontinenV13, added-at = {2020-02-21T00:00:00.000+0100}, author = {Kontinen, Juha and Väänänen, Jouko A.}, biburl = {https://www.bibsonomy.org/bibtex/2d1cc41b33bc460fd57f4bc395fc83c69/dblp}, ee = {https://doi.org/10.1016/j.apal.2013.05.006}, interhash = {e04b77d41bf8fc81441741200fb67b40}, intrahash = {d1cc41b33bc460fd57f4bc395fc83c69}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = 11, pages = {1101-1117}, timestamp = {2020-02-22T12:46:26.000+0100}, title = {Axiomatizing first-order consequences in dependence logic.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal164.html#KontinenV13}, volume = 164, year = 2013 }