%0 Journal Article %1 journals/tplp/Warren18 %A Warren, David Scott %D 2018 %J Theory Pract. Log. Program. %K dblp %N 3-4 %P 706-721 %T Top-down and Bottom-up Evaluation Procedurally Integrated. %U http://dblp.uni-trier.de/db/journals/tplp/tplp18.html#Warren18 %V 18

@article{journals/tplp/Warren18, added-at = {2020-02-13T00:00:00.000+0100}, author = {Warren, David Scott}, biburl = {https://www.bibsonomy.org/bibtex/2c9c46a3571b1a05b3ed8f66f57e12c4b/dblp}, ee = {https://doi.org/10.1017/S1471068418000194}, interhash = {5db631bdf1481f19fb319c6140f1474e}, intrahash = {c9c46a3571b1a05b3ed8f66f57e12c4b}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {3-4}, pages = {706-721}, timestamp = {2020-02-14T11:43:53.000+0100}, title = {Top-down and Bottom-up Evaluation Procedurally Integrated.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp18.html#Warren18}, volume = 18, year = 2018 }