@inproceedings {5014,
	title = {Top-Down Beats Bottom-Up for Constraint Based Extensions of Datalog},
	booktitle = {Joint International Conference and Symposium on Logic Programming (JICSLP)},
	year = {1995},
	url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299950},
	author = {David Toman}
}
