| 1998 | SICStus MT - Multithreaded Execution Environment for SICStus Prolog. | Jesper Eskilson, Mats Carlsson |
| 1998 | Admissible Graph Rewriting and Narrowing. | Rachid Echahed, Jean-Christophe Janodet |
| 1998 | Tracing Prolog Programs by Source Instrumentation is Efficient Enough. | Mireille Ducass, Jacques Noy |
| 1998 | On the Representation and Management of Finite Sets in CLP Languages. | Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli |
| 1998 | Co-definite Set Constraints with Membership Expressions. | Philippe Devienne, Jean-Marc Talbot, Sophie Tison |
| 1998 | Source-to-source Prolog Program Compression. | Philippe Devienne, Anne Parrain, Patrick Taillibert, S. Varennes |
| 1998 | On Logically Justified Updates. | Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos |
| 1998 | Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space. | Stefaan Decorte, Danny De Schreye |
| 1998 | Relationships between Partial Consistencies over Continuous Domains. | Hlne Collavizza, Franois Delobel, Michel Rueher |
| 1998 | Proof-Theoretic Foundation of Compilation in Logic Programming. | Iliano Cervesato |
| 1998 | Compiling Resources in a Linear Logic Programming Language. | Mutsunori Banbara, Naoyuki Tamura |
| 1998 | Normal Forms for Defeasible Logic. | Grigoris Antoniou, David Billington, Michael J. Maher |
| 1998 | Implementing Randomised Algorithms in Constraint Logic Programming. | Nicos Angelopoulos, Alessandra Di Pierro, Herbert Wiklicky |
| 1997 | Differential Bottom-Up Computation of the Well-Founded Semantics. | Ulrich Zukowski, Burkhard Freitag, Stefan Brass |
| 1997 | Disjunctive Logic Programming as Constrained Inferences. | Jia-Huai You, Xianchang Wang, Li-Yan Yuan |
| 1997 | Capturing Database Dynamics by Deferred Updates. | Carl-Alexander Wichert, Burkhard Freitag |
| 1997 | Visualization of And/Or-Parallel Execution of Logic Programs. | Rick Vaupel, Enrico Pontelli, Gopal Gupta |
| 1997 | Tree Drawing Using Constraint Logic Programming. | Kensei Tsuchida, Yoshihiro Adachi, Takanori Imaki, Takeo Yaku |
| 1997 | Effective Maintenance of Recursive Views: Improvements to the DRed Algorithm. | Ismail H. Toroslu, Fahri Kocabas |
| 1997 | Constraint Search Tree. | Peter J. Stuckey |
| 1997 | Domain Construction for Mode Analysis of Typed Logic Programs. | Jan-Georg Smaus, Patricia M. Hill, Andy King |
| 1997 | Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP. | Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh |
| 1997 | Oz Explorer: A Visual Constraint Programming Tool. | Christian Schulte |
| 1997 | Global Variables in Logic Programming. | Peter Schachte |
| 1997 | Translating Logic Programs into Conditional Rewriting Systems. | Femke van Raamsdonk |