1. Magic Sets and other strange ways to implement logic programs;Bancilhon;Proc. 5th ACM SIGMOD-SIGACT Symp. on Principles of Database Systems,1986
2. Modelling prolog control;Barbuti;Proc. 19th ACM Symp. on the Principles of Programming Languages,1992
3. A declarative approach to abstract interpretation of logic programs;Barbuti,1989
4. A general framework for semantics-based bottom-up abstract interpretation of logic programs;Barbuti,1991
5. On the power of magic;Beeri;Proc. 6th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems,1987