%0 Journal Article %1 journals/mlq/Goldfarb75 %A Goldfarb, Warren D. %D 1975 %J Math. Log. Q. %K dblp %N 1 %P 409-412 %T On the effective ω-rule. %U http://dblp.uni-trier.de/db/journals/mlq/mlq21.html#Goldfarb75 %V 21

@article{journals/mlq/Goldfarb75, added-at = {2016-12-13T00:00:00.000+0100}, author = {Goldfarb, Warren D.}, biburl = {https://www.bibsonomy.org/bibtex/21b7e9c31763ef335b5f36b3b470de5ea/dblp}, ee = {http://dx.doi.org/10.1002/malq.19750210155}, interhash = {91f4c856d87081c2d03dfea91165ac0e}, intrahash = {1b7e9c31763ef335b5f36b3b470de5ea}, journal = {Math. Log. Q.}, keywords = {dblp}, number = 1, pages = {409-412}, timestamp = {2016-12-14T11:36:10.000+0100}, title = {On the effective ω-rule.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq21.html#Goldfarb75}, volume = 21, year = 1975 }