Sharing Analysis for Logic Programs using Set Logic Programs. - Michael Codish; Vitaly Lagoon; Francisco Bueno (APPIA-GULP-PRODE, 1996)

Sharing Analysis Using Set Logic Programs. - Francisco Bueno; Michael Codish; Vitaly Lagoon (ICLP, 1997)

An Algebraic Approach to Sharing Analysis of Logic Programs. - Michael Codish; Vitaly Lagoon; Francisco Bueno (J. Log. Program., 2000)

Type dependencies for logic programs using ACI-unification. - Michael Codish; Vitaly Lagoon (Theor. Comput. Sci., 2000)

A Framework for Analysis of Typed Logic Programs. - Vitaly Lagoon; Peter J. Stuckey (FLOPS, 2001)

Precise pair-sharing analysis of logic programs. - Vitaly Lagoon; Peter J. Stuckey (PPDP, 2002)

Combining Norms to Prove Termination. - Samir Genaim; Michael Codish; John P. Gallagher; Vitaly Lagoon (VMCAI, 2002)

Termination Analysis with Types Is More Accurate. - Vitaly Lagoon; Frédéric Mesnard; Peter J. Stuckey (ICLP, 2003)

Set Bounds and (Split) Set Domain Propagation Using ROBDDs. - Peter Hawkins; Vitaly Lagoon; Peter J. Stuckey (Australian Conference on Artificial Intelligence, 2004)

Set Domain Propagation Using ROBDDs. - Vitaly Lagoon; Peter J. Stuckey (CP, 2004)

Testing for Termination with Monotonicity Constraints. - Michael Codish; Vitaly Lagoon; Peter J. Stuckey (ICLP, 2005)

Solving Set Constraint Satisfaction Problems using ROBDDs. - Peter Hawkins; Vitaly Lagoon; Peter J. Stuckey (J. Artif. Intell. Res., 2005)

Size-Change Termination Analysis in k-Bits. - Michael Codish; Vitaly Lagoon; Peter Schachte; Peter J. Stuckey (ESOP, 2006)

SAT Solving for Argument Filterings. - Michael Codish; Peter Schneider-Kamp; Vitaly Lagoon; René Thiemann; Jürgen Giesl (LPAR, 2006)

Fast Set Bounds Propagation using BDDs. - Graeme Gange; Vitaly Lagoon; Peter J. Stuckey (ECAI, 2008)

Telecommunications Feature Subscription as a Partial Order Constraint Problem. - Michael Codish; Vitaly Lagoon; Peter J. Stuckey (ICLP, 2008)

Solving Partial Order Constraints for LPO Termination. - Michael Codish; Vitaly Lagoon; Peter J. Stuckey (J. Satisf. Boolean Model. Comput., 2008)

Logic programming with satisfiability. - Michael Codish; Vitaly Lagoon; Peter J. Stuckey (Theory Pract. Log. Program., 2008)

Fast Set Bounds Propagation Using a BDD-SAT Hybrid. - Graeme Gange; Peter J. Stuckey; Vitaly Lagoon (J. Artif. Intell. Res., 2010)

Boolean Equi-propagation for Optimized SAT Encoding. - Amit Metodi; Michael Codish; Vitaly Lagoon; Peter J. Stuckey (CP, 2011)

The challenges of constraint-based test generation. - Vitaly Lagoon (PPDP, 2011)

The DNA Word Design Problem: A New Constraint Model and New Results. - Michael Codish; Michael Frank 002; Vitaly Lagoon (IJCAI, 2017)

Single Constant Multiplication for SAT. - Hendrik Bierlee; Jip J. Dekker; Vitaly Lagoon; Peter J. Stuckey; Guido Tack (CPAIOR (1), 2024)