David Toman. Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog. In ILPS. pages 98-112, 1995.
@inproceedings{Toman95, title = {Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog}, author = {David Toman}, year = {1995}, tags = {rule-based, constraints, Datalog}, researchr = {https://researchr.org/publication/Toman95}, cites = {0}, citedby = {0}, pages = {98-112}, booktitle = {ILPS}, }