References

  • The {log} user manual ({log} version 4.9.1)
  • Rewrite Rules for {log}’s Set Solver (abstract definition)
  • Main papers related to {log}
    • Recent papers
      • Maximiliano Cristiá, Gianfranco Rossi: Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations. Journal of Automated Reasoning. In press
      • Maximiliano Cristiá, Gianfranco Rossi: A Set Solver for Finite Set Relation Algebra. RAMiCS 2018: 333-349
      • Maximiliano Cristiá, Gianfranco Rossi: A Decision Procedure for Restricted Intensional Sets. CADE 2017: 185-201
      • Maximiliano Cristiá, Gianfranco Rossi: A Decision Procedure for Sets, Binary Relations and Partial Functions. CAV (1) 2016: 179-198
      • Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman: Adding partial functions to Constraint Logic Programming with sets. TPLP 15(4-5): 651-665 (2015)
      • Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman: {log} as a Test Case Generator for the Test Template Framework. SEFM 2013: 229-243
    • Other papers