%0 Journal Article %1 journals/apal/HarnikH84 %A Harnik, Victor %A Harrington, Leo %D 1984 %J Ann. Pure Appl. Log. %K dblp %N 3 %P 245-286 %T Fundamentals of forking. %U http://dblp.uni-trier.de/db/journals/apal/apal26.html#HarnikH84 %V 26

@article{journals/apal/HarnikH84, added-at = {2020-02-21T00:00:00.000+0100}, author = {Harnik, Victor and Harrington, Leo}, biburl = {https://www.bibsonomy.org/bibtex/2822650240bbddfc1962512abcec2e0db/dblp}, ee = {https://doi.org/10.1016/0168-0072(84)90005-8}, interhash = {b9c17a80bb36e7d9d6689d476f388a62}, intrahash = {822650240bbddfc1962512abcec2e0db}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = 3, pages = {245-286}, timestamp = {2020-02-22T12:45:55.000+0100}, title = {Fundamentals of forking.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal26.html#HarnikH84}, volume = 26, year = 1984 }