E. Albert, M. Gómez-zamalloa, L. Hubert, and G. Puebla, Verification of Java Bytecode Using Analysis and Transformation of Logic Programs, Proc. of the 9th International Symposium on Practical Aspects of Declarative Languages, 2007.
DOI : 10.1007/978-3-540-69611-7_8
URL : https://hal.archives-ouvertes.fr/inria-00503986

T. Ball and S. K. Rajamani, The SLAM project: debugging system software via static analysis, Proc. of the 29th symposium on Principles of programming languages (POPL '02, 2002.

F. Bancilhon, D. Maier, Y. Sagiv, D. Jeffrey, and . Ullman, Magic sets and other strange ways to implement logic programs, Proc. of the 5th symposium on Principles of database systems (PODS'86, 1986.

F. Besson and T. Jensen, Modular Class Analysis with DATALOG, Proc. of the 10th Static Analysis Symposium, 2003.
DOI : 10.1007/3-540-44898-5_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.211.5291

D. Beyer, A. Noack, and C. Lewerentz, Simple and efficient relational querying of software structures, 10th Working Conference on Reverse Engineering, 2003. WCRE 2003. Proceedings., 2003.
DOI : 10.1109/WCRE.2003.1287252

B. Bogaert and S. Tison, Equality and disequality constraints on direct subterms in tree automata, STACS '92: Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, 1992.
DOI : 10.1007/3-540-55210-3_181

R. E. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, 1986.
DOI : 10.1109/TC.1986.1676819

G. Cabodi and M. Murciano, BDD-Based Hardware Verification, Proc. of the 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 2006.
DOI : 10.1007/BF01383966

A. Caron, H. Comon, J. Coquidé, M. Dauchet, and F. Jacquemard, Pumping, cleaning and symbolic constraints solving, ICALP '94: Proceedings of the 21st International Colloquium on Automata, Languages and Programming, 1994.
DOI : 10.1007/3-540-58201-0_88

M. Dauchet, A. Caron, and J. Coquidé, Reduction properties and automata with constraints, Journal of Symbolic Computation, vol.20, 1995.

S. Dawson, C. R. Ramakrishnan, and D. S. Warren, Practical program analysis using general purpose logic programming systems?a case study, Proc. of the conference on Programming language design and implementation (PLDI '96, 1996.

P. Graf, Substitution tree indexing, RTA '95: Proc. of the 6th International Conference on Rewriting Techniques and Applications, 1995.
DOI : 10.1007/3-540-59200-8_52
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.823

P. Graf, Term Indexing, 1996.

V. Manuel, R. Hermenegildo, S. K. Warren, and . Debray, Global flow analysis as a practical compilation tool, Journal of Logic Programming, vol.13, 1992.

A. J. Hu, D. L. Dill, A. Drexler, and C. Yang, Higher-level specification and verification with BDDs, Proc. of the 4th Int. Workshop on Computer Aided Verification (CAV'92, 1993.
DOI : 10.1007/3-540-56496-9_8

M. Iwaihara and Y. Inoue, Bottom-up evaluation of logic programs using binary decision diagrams, Proceedings of the Eleventh International Conference on Data Engineering, 1995.
DOI : 10.1109/ICDE.1995.380367

D. B. Kemp, P. J. Stuckey, and D. Srivastava, Magic sets and bottom-up evaluation of well-founded models, Proc. of the 1991 Int. Symposium on Logic Programming. MIT, 1991.

R. Ramakrishnan, D. Srivastava, S. Sudarshan, and P. Seshadri, Implementation of the coral deductive database system, SIGMOD '93: Proc. of the 1993 international conference on Management of data, 1993.

P. Rao, K. Sagonas, T. Swift, D. S. Warren, and J. Freire, XSB: A system for efficiently computing well-founded semantics, Logic Programming and Non-monotonic Reasoning, 1997.
DOI : 10.1007/3-540-63255-7_33

R. C. Sekar, R. Ramesh, and I. V. Ramakrishnan, Adaptive pattern matching, ICALP '92: Proc. of the 19th International Colloquium on Automata, Languages and Programming, 1992.

F. Somenzi, CUDD: CU Decision Diagram Package Available on: http://vlsi.colorado, 2009.

T. Turpin, Pruning program invariants, 2008.

J. Whaley, Context-Sensitive Pointer Analysis using Binary Decision Diagrams, 2007.

J. Whaley and M. S. Lam, Cloning-based context-sensitive pointer alias analysis using binary decision diagrams