On the Copy Complexity of Width 3 Horn Constraint Systems

[1]  Russell Impagliazzo,et al.  Which Problems Have Strongly Exponential Complexity? , 2001, J. Comput. Syst. Sci..

[2]  David Monniaux,et al.  Combining Forward and Backward Abstract Interpretation of Horn Clauses , 2017, SAS.

[3]  Giorgio Gambosi,et al.  Complexity and Approximation , 1999, Springer Berlin Heidelberg.

[4]  Nikolaj Bjørner,et al.  Horn Clause Solvers for Program Verification , 2015, Fields of Logic and Computation II.