12 papers:
FoSSaCS-2012-SeidlR- Extending H₁-Clauses with Path Disequalities (HS, AR), pp. 165–179.
CIAA-2012-ReussS- Crossing the Syntactic Barrier: Hom-Disequalities for H1-Clauses (AR, HS), pp. 301–312.
CAV-2011-JohnC #algorithm #composition #equation #linear #quantifier- A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations (AKJ, SC), pp. 486–503.
ICALP-2007-KariantoL #automaton- Unranked Tree Automata with Sibling Equalities and Disequalities (KW, CL), pp. 875–887.
SMT-J-2006-KimJS07 #difference #finite #integer #logic- Disequality Management in Integer Difference Logic via Finite Instantiations (HK, HJ, FS), pp. 47–66.
VMCAI-2007-PeronH #abstract domain #bound #constraints #matrix- An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints (MP, NH), pp. 268–282.
RTA-1998-LimetR #equation #term rewriting- Solving Disequations Modulo Some Class of Rewrite Systems (SL, PR), pp. 121–135.
PLILP-1994-Arenas-SanchezGL #constraints #lazy evaluation- Combining Lazy Narrowing with Disequality Constraints (PAS, AGL, FJLF), pp. 385–399.
ILPS-1994-Imbert #equation #linear- Redundancy, Variable Elimination and Linear Disequations (JLI), pp. 139–153.
- JICSLP-1992-KuchenLMR #constraints #functional #implementation #lazy evaluation #logic
- Implementing a Lazy Functional Logic Language with Disequality Constraints (HK, FJLF, JJMN, MRA), pp. 207–221.
CADE-1988-Burckert #equation- Solving Disequations in Equational Theories (HJB), pp. 517–526.
LICS-1987-KirchnerL #equation- Solving Disequations (CK, PL), pp. 347–352.
