Google Scholar

Publications & Talks


2017
  1. Introduction to the fast track issue for CP 2016
    Willem-Jan van Hoeve and Michel Rueher
    M. Constraints (2017) 22:1. pages 1-2, ISSN: 1383-7133 (Print) 1572-9354 (Online)
  2. What's Hot in Constraint Programming
    Laurent Michel, Michel Rueher.
    Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA. AAAI Press 2017, pp. 5073-5075.
    Slides , paper

2016
  1. Identifying suspicious values in programs with floating-point numbers
    Olivier Ponsini, Claude Michel and Michel Rueher
    Automated Software Engineering (2016) 23:191-217, hal-00860681, v2
  2. Principles and Practice of Constraint Programming
    Rueher, Michel (Editor) 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016 Proceedings
  3. Searching critical values for floating-point programs.
    Hélène Collavizza, Claude Michel, Michel Rueher.
    ICTSS 2016 , Graz, Austria, October 17-19, 2016, Lecture Notes in Computer Science, Vol. 9976, pp 209-217, 2016, hal-01224009 ,
    Slides , paper

2015
  1. Quelques apports de la programmation par contraintes pour la vérification de programmes
    Michel Rueher.
    Colloque sur l'Optimisation et les Systèmes d'Information COSI'2015, 1 au 3 Juin 2015, Oran, Algérie
  2. On the capabilities of CP for numerical program analysis.
    Michel Rueher.
    CPAIOR 2015: Master Class "Constraint Programming and Verification",Barcelona, Mai 2015, Slides
  3. Constraint-Based Error Localization.
    Mohammed Bekkouche, Hélène Collavizza, Michel Rueher.
    ICS 2015: INFORMS Computing Society Conference, January 2015, Slides
  4. A new flow-driven and constraint-based error localization approach.
    Mohammed Bekkouche, Hélène Collavizza, Michel Rueher.
    ACM SAC'15, SVT track, Apr 2015, Salamanca, Spain. HAL : hal-01094227

2014
  1. Une approche CSP pour l'aide à la localisation d'erreurs.
    Mohammed Bekkouche, Hélène Collavizza, Michel Rueher.
    JFPC 2014(Dixièmes Journées Francophones de Programmation par Contraintes). HAL : hal-00957255

  2. Generating Test Cases inside Suspicious Intervals for Floating-Point Number Program
    Hélène Collavizza, Claude Michel, Olivier Ponsini and Michel Rueher.
    Proc. of the 6th Int. Workshop on Constraints in Software Testing, Verification, and Analysis CSTVA'14, hal-01099503, v1 , slides

  3. On Suspicious Intervals for Floating-Point Number Programs.
    Hélène Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher, Mohammed Said Belaid
    Dagstuhl Seminar 14351: Decision Procedures and Abstract Interpretation , pdf file

  4. Constraint-Based BMC: A Backjumping Strategy
    Hélène Collavizza, Le Vinh Nguyen, Olivier Ponsini, Michel Rueher, Antoine Rollet .
    in STTT Journal (International Journal on Software Tools for Technology Transfer ), Vol. 16:1,2014, pp. 103-121, pdf file

2013
  1. Algorithms For Error Localization On Numeric Constraints
    Michel Rueher
    Seminar at NII (National Institute of Informatics, Tokyo), 6 November 2013, pdf file

  2. Verifying floating-point programs with constraint programming and abstract interpretation techniques
    3) On Suspicious Intervals for Floating-Point Number Programs. Dagstuhl Seminar 14351 "Decision Procedures and Abstract Interpretation". Olivier Ponsini, Claude Michel and Michel Rueher
    HAL : hal-00860681, September 2013, 27 pages

  3. Identifying suspicious values in programs with floating-point numbers
    Olivier Ponsini, Claude Michel and Michel Rueher
    Dagstuhl Seminar 13021, Symbolic Methods in Testing, January 2013 Dagstuhl1321
2012
  1. Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs
    Olivier Ponsini, Claude Michel and Michel Rueher.
    4th Workshop on Constraints in Software Testing, Verification, and Analysis CSTVA'12, pdf file

  2. Un nouvel algorithme de consistance locale sur les nombres flottants
    Said Mohammed Belaid, Claude Michel and Michel Rueher.
    Proc. of JFPC 2012 , pp. 211-219, pdf file

  3. Tutorial - CP by Systematic Search Over Real-Number and Floating-Point Domains.
    Michel Rueher.
    CP meets CAV, (invitational seminar for the CP and CAV communities to identify synergetic opportunities as well as challenges in program verification), Turunç, Turkey, Monday 25 June - Friday 29 June 2012. pdf file

  4. On Search Strategies for Constraint-Based Bounded Model Checking.
    Michel Rueher.
    CP meets CAV, (invitational seminar for the CP and CAV communities to identify synergetic opportunities as well as challenges in program verification), Turunç, Turkey, Monday 25 June - Friday 29 June 2012. pdf file

  5. Improved Filtering for Weighted Circuit Constraints.
    Pascal Benchimol, Willem-Jan van Hoeve, Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher.
    Constraint Journal, (2012) 17:205-233 pdf file

  6. Refining abstract interpretation based value analysis with constraint programming techniques
    Olivier Ponsini, Claude Michel and Michel Rueher.
    CP 2012 , LNCS 7514, pp. 593-607, 2012. hal-01099512

  7. Boosting local consistency algorithms over floating-point numbers
    Said Mohammed Belaid, Claude Michel and Michel Rueher.
    CP 2012 , LNCS 7514, pp. 127-140, 2012. hal-01099514

  8. The Flasher Manager Benchmarks
    Hélène Collavizza, Le Vinh Nguyen, Olivier Ponsini, Michel Rueher, Antoine Rollet .
    HAL : hal-00720921

2011
  1. Efficient Constraint-Based Dynamic Strategies For Generating Counterexamples
    Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen
    26th ACM Symposium On Applied Computing, Software Verification and Testing Track, pdf file , Slides file

  2. Constraint-Based Search Strategies For Bounded Program Verification
    Michel Rueher
    Seminar at NII (National Institute of Informatics, Tokyo), 25 January 2011, pdf file

  3. Capabilities of Constraint Programming in Safe Global Optimization
    Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher.
    Special issue of Reliable Computing , 2011, 15:47-59 pdf file

  4. Utilisation de solveurs de contraintes pour réduire les approximations produites par interprétation abstraite
    Olivier Ponsini, Claude Michel and Michel Rueher
    JFPC 2011 , 2011, 261-270 pdf file

  5. Refining Abstract Interpretation-based Approximations with a Floating-point Constraint Solver
    Olivier Ponsini, Claude Michel and Michel Rueher
    NSV-2011 , pdf file

  6. Refining Abstract Interpretation-based Approximations with Constraint Solvers
    Olivier Ponsini, Claude Michel and Michel Rueher
    HAL : hal-00623274, Research report , September 2011


  7. Constraint-Based BMC: A Backjumping Strategy
    Hélène Collavizza, Le Vinh Nguyen, Olivier Ponsini, Michel Rueher, Antoine Rollet
    HAL :http://hal.archives-ouvertes.fr/hal-00635417, September 2011 (revised march 2012)

  8. Using CSP refutation capabilities to refine AI-based Approximations, Slides
    Constraint Programming over Continuous Domains (tutorial), Slides Michel Rueher
    Dagstuhl Seminar 11371:
    "Uncertainty modeling and analysis with intervals: Foundations, tools, applications", September, 2011

  9. Application of Hybrid Constraint-based Methods in Program Verification,
    Olivier Ponsini, Claude Michel and Michel Rueher
    INFORMS 2011 annal meeting Track "Hybrid Methods III: Applications", Slides

2010
  1. A Constraint-Programming Framework for Bounded Program Verification.
    Hélène Collavizza, Michel Rueher, and Pascal Van Hentenryck. Constraints Journal, Springer Verlag, vol. 15(2):238-264, 2010. hal-01099509

  2. Apports et Potentiels de la Programmation par Contraintes en Optimisation Globale sous Contraintes
    Michel Rueher
    JFPC 2010, Exposé invité Slides
  3. Résolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres réels
    Mohammed Said Belaid, Claude Michel, Michel Rueher
    Proc. JFPC 2010, pp 51-60, http://jfpc2010.greyc.fr/actesjfpc2010.pdf pdf file

  4. Stratégies Dynamiques pour la Géenération de Contre-exemples
    Le Vinh Nguyen, Hélène Collavizza, Michel Rueher, Samuel Devulder, Thierry Gueguen
    Proc. JFPC 2010, pp. 207-216, http://jfpc2010.greyc.fr/actesjfpc2010.pdf pdf file

  5. Capabilities and limits of CP in Global Optimization
    Michel Rueher
    CPAIOR'10, Workshop "Hybrid Methods for Nonlinear Combinatorial Problems", Invited talk Slides
  6. The Weighted Spanning Tree Constraint Revisited
    Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher, and Willem-Jan van Hoeve
    CPAIOR 2010, LNCS 6140, pp. 40-44, pdf file

  7. Improving the Held and Karp Approach with Constraint Programming
    Pascal Benchimol, Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher, and Willem-Jan van Hoeve Willem-Jan van Hoeve
    CPAIOR 2010, LNCS 6140, pp.287-291, pdf file

  8. Handling software upgradeability problems with MILP solvers
    Claude Michel, Michel Rueher
    LoCoCo2010, Electronic Proceedings in Theoretical Computer Science, DOI: 10.4204/EPTCS.29 pdf file

  9. Automatic Verification of Loop Invariants
    Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher
    ICSM 2010 ERA track 26th IEEE International Conference on Software Maintenance, pdf file

    HAL : hal-00495675, version1 Extended version


  10. A Safe and Flexible CP-based Approach for Velocity Tuning Problems
    Michael Soulignac, Michel Rueher, and Patrick Taillibert
    Proc. CP 2010, LNCS 6308:628-642, DOI: 10.1007/978-3-642-15396-9 pdf file

  11. Approximating floating-point operations to verify numerical programs.
    Mohammed Said BELAID, Claude MICHEL, Michel RUEHER.
    SCAN 2010, 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
    ENS de Lyon, France, September 27-30, 2010 pdf file


2009
  1. Time-minimal Path Planning in Dynamic Current Fields
    Michaël Soulignac, Patrick Taillibert, Michel Rueher
    Proceedings of ICRA'09 (IEEE International Conference on Robotics and Automation) , pdf file

  2. Constraint-Based Software Testing
    Sebastian Bardin, Bernard Botella, Frédéric Dadeau, Florence Charreteur, Arnaud Gotlieb, Bruno Marre, Claude Michel, Michel Rueher, Nicky Williams, Journées nationales du GDR GPL , Toulouse, 28 - 30 janvier 2009.
    pdf file

  3. Efficient Handling of Universally Quantified Inequalities
    Alexandre Goldsztejn, Claude Michel, Michel Rueher
    Constraints Journal, 10(1):47-65, pdf file


2008
  1. Constraint Programming and Safe Global Optimization
    Michel Rueher SCAN'2008, 13th GAMM - IMACS Int. Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, El Paso, Texas, USA, September 2008
    Invited plenary talk, Slides


  2. Capabilities of Constraint Programming in Rigorous Global Optimization
    Michel Rueher, Alexandre Goldsztejn, Yahia Lebbah and Claude Michel NOLTA 08 (International Symposium on Nonlinear Theory and its Applications), Budapest, Republic of Hungary, September 2008.
    Invited Talk, Special Session: Verified Bounds in Optimization Problems, pdf file

  3. A Constraint-Programming Framework for Bounded Program Verification.
    Hélène Collavizza, Michel Rueher, and Pascal Van Hentenryck.
    Proc. of CP2008 , LNCS 5202, pp. 327-341,2008, Springer-Verlag pdf file

  4. Comparison between CPBPV with ESC/Java, CBMC, Blast, EUREKA and Why.
    Hélène Collavizza, Michel Rueher, and Pascal Van Hentenryck.
    Technical report , pdf file

  5. Revisiting the upper bounding process in a safe Branch and Bound algorithm
    Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher
    Proc. of CP2008 , LNCS 5202, pp. 598-602,2008, Springer-Verlag , pdf file

    Extended Version : pdf file

  6. Adapting the Wavefront Expansion in Presence of Strong Currents
    Michaël Soulignac, Patrick Taillibert, Michel Rueher
    Proceedings of ICRA'08 (IEEE International Conference on Robotics and Automation) , pdf file

  7. Path Planning for UAVs in Time-Varying Winds,
    Michaël Soulignac, Patrick Taillibert, Michel Rueher
    27th Workshop of the UK PLANNING AND SCHEDULING Special Interest Group , pdf file

  8. An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities
    Alexandre Goldsztejn, Claude Michel, Michel Rueher
    Proceedings of SAC'08 (The 23nd Annual ACM Symposium on Applied Computing) , pdf file


2007
  1. Exploring different constraint-based modelings for program verification
    Hélène Collavizza and Michel Rueher
    Proceedings of CP 07 13th International Conference on Principles and Practice , pdf file

  2. Using constraint techniques for a safe and fast implementation of optimality-based reduction
    Yahia Lebbah, Claude Michel, Michel Rueher
    Proceedings of SAC'07 (The 22nd Annual ACM Symposium on Applied Computing) , pdf file

  3. An Efficient and Safe Framework for Solving Optimization Problems
    Yahia Lebbah,Claude Michel, Michel Rueher
    Journal of Computational and Applied Mathematics 199 (2007) 372-377, pdf file

    .
2006
  1. Toward a rigorous and efficient global optimizer I
    Michel Rueher Invited Talk, GICOLAG (Global Optimization - Integrating Convexity, Optimization,Logic Programming, and Computational Algebraic Geometry),
    Vienna, 2006, slides.

  2. The V3F Project
    Benjamin Blanc, Fabrice Bouquet, Arnaud Gotlieb, Bertrand Jeannet, Thierry Jéron, Bruno Legeard, Bruno Marre, Claude Michel, Michel Rueher
    Proceedings of CSTVA0 06 , pdf file

  3. Exploration of the capabilities of Constraint Programming Techniques for Software Verification
    Hélène Collavizza and Michel Rueher
    Proceedings of TACAS 06 , pdf file

  4. Editorial: track reliable computations and their applications.
    Martine Ceberio, Vladik Kreinovich and Michel Rueher
    Proc. of the 21th ACM Symposium on Applied Computing SAC'2006, ACM press, pp: 1633-1634 .
    pdf file

    .
2005
  1. Modal intervals revisited: a mean-value extension to generalized intervals
    Goldsztejn A., Daney D., Rueher M., Taillibert P.
    Proceedings of First International Workshop on Quantification in Constraint Programming (held in conjunction with 11th International Conference on Principles and Practice of Constraint Programming, CP-2005), pdf file

  2. Mind The Gaps: A New Splitting Strategy For Consistency Techniques
    H. Batnini, M.Rueher, C. Michel
    Proc. of CP2005 Eleventh International Conference on Principles and Practice of Constraint Programming , pdf file

  3. Solving continuous constraint systems
    Michel Rueher
    Invited Talk, Proc. of 8th International Conference on Computer Graphics and Artificial Intelligence (3IA'2005) , pdf file

  4. Une Nouvelle Stratégie de Recherche pour les CSPs Continus}
    H. Batnini, M.Rueher, C. Michel
    Actes JNPC'05 (11eme journées Nationales pour la résolution de Problemes NP-Complets) , pdf file

  5. Inequality-sum : a global constraint capturing the objective function
    Jean-Charles Régin , Michel Rueher
    RAIRO Operations Research. v39. 123-139, 2005 .
    pdf file

  6. Efficient pruning technique based on linear relaxations
    Yahia Lebbah,Claude Michel, Michel Rueher
    Selected papers of COCOS'03, 2005 .
    pdf file

  7. A rigorous global filtering algorithm for quadratic constraints
    Yahia Lebbah,Claude Michel, Michel Rueher
    CONSTRAINTS Journal, 10(1),pp.47-65 ,January 2005 .
    pdf file

  8. Reliable Computations and Their Applications (RCA) Track A Technical Track at the 20th ACM Symposium on Applied Computing SAC'2005
    Martine Ceberio, Vladik Kreinovich and Michel Rueher
    Reliable Computing Volume 11, Number 6, 499-503, DOI: 10.1007/s11155-005-0408-6 .
    pdf file

2004
  1. Efficient and Safe Global Constraints for handling Numerical Constraint Systems
    Yahia Lebbah,Claude Michel, Michel Rueher,David Daney, Jean-Pierre Merlet
    SIAM Journal on Numerical Analysis 42(2):505-529, April. 2004
    pdf file

  2. An Efficient and Safe Framework for Handling Numerical Constraint Systems and for Solving Optimization Problems
    Michel Rueher
    Invited Talk, Franco-Japanese Workshop on Constraint Programming, Slides .
  3. Filtrage global pour les contraintes de distance euclidienne
    H. Batnini, M.Rueher
    Actes JNPC'04 (10eme journées Nationales pour la résolution de Problemes NP-Complets) , pdf file

  4. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
    Jean-Charles Régin ; Michel Rueher (Eds.)
    First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings
    Series : Lecture Notes in Computer Science , Vol. 3011
  5. Décomposition sémantique pour la résolution de systèmes de contraintes de distance
    H. Batnini, M.Rueher
    JEDAI, Volume 2 (2004): Résolution Pratique des Problèmes NP-Complets (1) , pdf file

2003
  1. Safe embedding of the Simplex Algorithm in a CSP framework
    Claude Michel, Yahia Lebbah, Michel Rueher
    Proc. of 5th Int. Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimisation Problems CPAIOR 2003, CRT, Université de Montréal. pp. 210-220 .
    , pdf file

  2. Filtrage local par décomposition de CSP continus
    H. Batnini, M.Rueher
    Actes JNPC'03 (9eme Journées Nationales pour la résolution de Problemes NP-Complets), LaRIA, Université de Picardie, pp 39-52. .
    pdf file

  3. Une combinaison de consistances locales avec un filtrage global sur des relaxations linéaires
    Yahia Lebbah, Claude Michel, Michel Rueher
    Actes JNPC'03 (9eme Journées Nationales pour la résolution de Problemes NP-Complets), LaRIA, Université de Picardie, pp 217-232. .
    pdf file

    : . CP 2003: 964-965
  4. Semantic Decomposition for Solving Distance Constraints
    Heikel Batnini, Michel Rueher
    CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, LNCS 2833.
    pdf file

2002
  1. Génération de cas de test par contraintes (Utilisation des contraintes pour la génération automatique de cas de test structurels)
    Bernard Botella, Arnaud Gotlieb, Claude Michel, Michel Rueher, Patrick Taillibert
    TSI (Hermes) - No 21, 2002, pp. 1163-1187 .
    pdf file

  2. A Global filtering algorithm for handling systems of quadratic equations and inequations
    Y. Lebbah, M. Rueher, C. Michel
    CP'2002, Eighth International Conference on Principles and Practice of Constraint Programming, Sept. 7 - 13, 2002, Cornell University, Ithaca, NY, USA .
    pdf file

2001
  1. Solving constraints over floating-point numbers
    C. Michel, M. Rueher, Y. Lebbah
    CP'2001,Seventh International Conference on Principles and Practice of Constraint Programming, Nov 26 - Dec 1, 2001, Paphos, Cyprus, LNCS 2239 (Springer Verlag), pp. 524-538. .
    pdf file

2000
  1. A global constraint combining a sum constraint and difference constraints
    Jean-Charles Régin , Michel Rueher
    CP'2000,Sixth International Conference on Principles and Practice of Constraint Programming, September 18 - 22, 2000, Singapore, LNCS 1894 (Springer Verlag), pp. 384-395. .
    pdf file

  2. A Constraint Programming Approach for Solving Rigid Geometric Systems
    C. Jermann, G. Trombettoni, B. Neveu, M. Rueher
    CP'2000,Sixth International Conference on Principles and Practice of Constraint Programming, September 18 - 22, 2000, Singapore, LNCS 1894 (Springer Verlag), pp. 233-248 .
    pdf file

  3. Résolution par contraintes de systèmes géométriques rigides
    C. Jermann, G. Trombettoni, B. Neveu, M. Rueher
    JNPC'2000, 6èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets Marseille - France.
    pdf file

  4. A CLP Framework for Computing Structural Test Data
    A. Gotlieb, B. Botella, M. Rueher
    Constraints Stream, First International Conference on Computational Logic (CL2000),Imperial College, London, UK, 24th to 28th July, 2000 .
    pdf file

1999
  1. Comparing Partial Consistencies
    H.Collavizza, F.Delobel, M. Rueher
    Reliable Computing , Kluwer Academic Publishers, Vol.5(3), pp. 213-228, 1999. pdf file

  2. Extending consistent domains of numeric CSP
    H.Collavizza, F.Delobel, M. Rueher
    IJCAI-99, Stockholm, Sweden, 31 July - 6 August 1999 .
    pdf file, ps file,

1998
  1. A Note on Partial Consistencies over Continuous Domains Solving Techniques
    H.Collavizza, F.Delobel, M. Rueher
    Proc. CP98 (Fourth International Conference on Principles and Practice of Constraint Programming), Pisa, Italy, October 26-30, 1998, LNCS 1520 (Springer Verlag), pp. 147-161,.
    pdf file

  2. Automatic Test Data Generation using Constraint Solving Techniques
    A. Gotlieb, B. Botella, M. Rueher
    Proc. ISSTA 98 (Symposium on Software Testing and Analysis, > Clearwater Beach, USA, March 2-4, 1998), ACM SIGSOFT, vol. 2, pp. 53-62, 1998.
    pdf file

  3. Dynamic optimization of Interval Narrowing Algorithms
    O. Lhomme, A. Gotlieb, M. Rueher
    Journal of Logic Programming (Elsevier Science Inc). 37(1-3): 165-183 (1998)
    pdf file

1997
  1. Concurrent Cooperating Solvers over the Reals
    M. Rueher and C. Solnon
    Reliable Computing , Kluwer Academic Publishers, Vol.3:3, pp. 325-333, 1997.
    pdf.file

  2. Application des techniques CSP au raisonnement sur les intervalles
    O. Lhomme and M. Rueher
    Revue d'intelligence artificielle, Dunod,Vol. 11:3, pp. 283-311 , 1997
    pdf file

1996
  1. Boosting the Interval Narrowing Algorithm
    O. Lhomme, A. Gotlieb, M. Rueher and P. Taillibert
    Proc. JICSLP'96 , MIT Press, pp. 378-392, September 1996
    pdf

  2. Génération automatique de cas de test: une approche par la Programmation Logique par Contraintes
    A. Gotlieb, F.Calvet F. et M. Rueher
    Actes des neuvièmes Journées Internationales de Génie Logiciel, 1996, GL'96 Paris La Défense, Revue Génie Logiciel N°42 Décembre 1996, p135-140
    pdf

1995
  1. A distributed cooperating constraints solving system
    P. Marti and M. Rueher
    em Special issue of IJAIT (International Journal on Artificial Intelligence Tools), 4(1-2):93--113, June 1995
    pdf file

  2. An Architecture for Cooperating Constraint Solvers on Reals
    M. Rueher
    In Andreas Podelski, editor , Constraint Programming: Basics and Trends, LNCS 910, pages 231--250. Springer Verlag, March 1995
    pdf file

1992
  1. Inference of inheritance relationships from Prolog programs: a system developed with PrologIII
    C. Solnon and M. Rueher
    Programming Language Implementation and Logic Programming (PLIP),, LNCS 631/1992:489-49, DOI:10.1007/3-540-55844-6_122, 1992.
    pdf file