<?xml version="1.0"?>
<dblp>
<inproceedings key="conf/pods/LevyS92" mdate="2012-09-17">
<crossref>conf/pods/92</crossref>
<author>Alon Y. Levy</author>
<author>Yehoshua Sagiv</author>
<title>Constraints and Redundancy in Datalog.</title>
<pages>67-80</pages>
<year>1992</year>
<booktitle>PODS</booktitle>
<url>db/conf/pods/pods92.html#LevyS92</url>
<ee>http://doi.acm.org/10.1145/137097.137111</ee>
<cdrom>journals/anthology/cd1-3:PODS92/P067.PDF</cdrom>
<cdrom>journals/anthology/dvd1:text/1-3/PODS92/P067.PDF</cdrom>
<cite label="BK*89">conf/slp/KempRBM89</cite>
<cite label="BS91">conf/pods/BrodskyS91</cite>
<cite label="Co91">journals/tcs/Courcelle91</cite>
<cite label="KKR90">conf/pods/KanellakisKR90</cite>
<cite label="Ki88">conf/jcdkb/Kifer88</cite>
<cite label="Kl88">journals/jacm/Klug88</cite>
<cite label="MF*90">conf/pods/MumickFPR90</cite>
<cite label="Sag88">...</cite>
<cite label="Sar90">conf/sigmod/Saraiya90</cite>
<cite label="Sh87">conf/pods/Shmueli87</cite>
<cite label="SS90">conf/icdt/SippuS90</cite>
<cite label="Ull89">books/cs/Ullman89</cite>
<cite label="VG90">conf/pods/Gelder90</cite>
<cite label="Va89">conf/pods/Vardi89</cite>
</inproceedings>
</dblp>
