%0 Journal Article %1 journals/jlp/Smith96 %A Smith, Donald A. %D 1996 %J J. Log. Program. %K dblp %N 1-3 %P 195-244 %T Multilog and Data or-Parallelism. %U http://dblp.uni-trier.de/db/journals/jlp/jlp29.html#Smith96 %V 29

@article{journals/jlp/Smith96, added-at = {2021-02-17T00:00:00.000+0100}, author = {Smith, Donald A.}, biburl = {https://www.bibsonomy.org/bibtex/2b08128e607fb400a632047e27d4e0635/dblp}, ee = {https://doi.org/10.1016/S0743-1066(96)00067-2}, interhash = {0c3b08a115c971f048c218cdceb3e179}, intrahash = {b08128e607fb400a632047e27d4e0635}, journal = {J. Log. Program.}, keywords = {dblp}, number = {1-3}, pages = {195-244}, timestamp = {2024-04-08T10:50:21.000+0200}, title = {Multilog and Data or-Parallelism.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp29.html#Smith96}, volume = 29, year = 1996 }