%0 Journal Article %1 journals/jlp/ItaiM87 %A Itai, Alon %A Makowsky, Johann A. %D 1987 %J J. Log. Program. %K dblp %N 2 %P 105-117 %T Unification as a Complexity Measure for Logic Programming. %U http://dblp.uni-trier.de/db/journals/jlp/jlp4.html#ItaiM87 %V 4

@article{journals/jlp/ItaiM87, added-at = {2011-12-01T00:00:00.000+0100}, author = {Itai, Alon and Makowsky, Johann A.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29e0804f41d8b5125b9c0c60fee9e8c3f/dblp}, ee = {http://dx.doi.org/10.1016/0743-1066(87)90014-8}, interhash = {07942d7c88a80772e458f7d5e6cb2d56}, intrahash = {9e0804f41d8b5125b9c0c60fee9e8c3f}, journal = {J. Log. Program.}, keywords = {dblp}, number = 2, pages = {105-117}, timestamp = {2016-02-02T10:00:19.000+0100}, title = {Unification as a Complexity Measure for Logic Programming.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp4.html#ItaiM87}, volume = 4, year = 1987 }