| 1996 | Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver. | Denis Bouhineau |
| 1996 | Combining Local Consistency, Symbolic Rewriting and Interval Methods. | Frdric Benhamou, Laurent Granvilliers |
| 1996 | Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. | Andrej Bauer, Edmund M. Clarke, Xudong Zhao |
| 1996 | On Theorem-Proving in Horn Theories with Built-in Algebras. | Nirina Andrianarivelo, Wadoud Bousdira, Jean-Marc Talbot |
| 1994 | Interactive Theorem Proving and Computer Algebra. | Johannes Ueberberg |
| 1994 | Algebraic Specification of Empirical Inductive Learning Methods based on Rough Sets and Matroid Theory. | Shusaku Tsumoto, Hiroshi Tanaka |
| 1994 | Propagation of Mathematical Constraints in Subdefinite Models. | Vitaly Telerman |
| 1994 | Subdefinite Computations and Symbolic Transformations in the UniCalc Solver. | Alexander L. Semenov, Alexander B. Babichev, Alexander S. Leshchenko |
| 1994 | A Practical Algorithm for Geometric Theorem Proving. | Ashutosh Rege, John F. Canny |
| 1994 | Modeling Cooperating Agents Scenarios by Deductive Planning Methods and Logical Fiberings. | Jochen Pfalzgraf, Ute Cornelia Sigmund, Karel Stokkermans |
| 1994 | Subsymbolic Processing using Adaptive Algorithms. | David J. Nettleton, Roberto Garigliano |
| 1994 | Using Commutativity Properties for Controlling Coercions. | Stephan A. Missura, Andreas Weber |
| 1994 | Theories = Signatures + Propositions Used as Types. | Stephan A. Missura |
| 1994 | A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans. | Peter Madden, Ian Green |
| 1994 | An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus. | Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Eugenio Roanes-Macas |
| 1994 | Tools for Solving Problems in the Scope of Algebraic Programming. | Y. V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov, M. S. Lvov |
| 1994 | Linear Logic and Real Closed Fields: a Way to Handle Situations Dynamically. | Pierre Jumpertz |
| 1994 | Combining Theorem Proving and Symbolic Mathematical Computing. | Karsten Homann, Jacques Calmet |
| 1994 | The Ideal Structure of Grbner Base Computations. | Stphane Collart, Daniel Mall |
| 1994 | Planning a Proof of the Intermediate Value Theorem. | Myles Chippendale |
| 1994 | Datalog and TwoGroups and C++. | Gregory Butler |
| 1994 | Combining Computer Algebra and Rule Based Reasoning. | Reinhard Bndgen |
| 1994 | A Proof Environment for Arithmetic with the Omega Rule. | Siani Baker, Alan Smaill |
| 1992 | A Type-Coercion Problem in Computer Algebra. | Andreas Weber |
| 1992 | Qualitative Modeling of Physical Systems in AI Research. | Peter Struss |