@inproceedings{711,
  author = {David Toman},
  title = {Top-Down Beats Bottom-Up for Constraint Based Extensions of Datalog},
  year = {1995},
  journal = {Top-Down Beats Bottom-Up for Constraint Based Extensions of Datalog},
  url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299950},
}