Abstract is missing.
- Aspects of Constraint Solving for AKL (Extended Abstract)Björn Carlson, Sverker Janson, Johan Montelius.
- Independence in Constraint Logic ProgramsMaria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott.
- Order-Sorted Feature Theory UnificationHassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein.
- The Beauty and the Beast Algorithm: Testing Entailment and Disentailment IncrementallyAndreas Podelski, Peter Van Roy.
- Herbrand Constraints (Extended Abstract)Torbjörn Keisu.
- An Informal Introduction to LIFEHassan Aït-Kaci, Andreas Podelski, Peter Van Roy.
- A Survey of Oz - A Higher-order Concurrent Constraint LanguageGert Smolka.
- Optimization Techniques for Nondeterministic Promotion in the Andorra Kernel LanguageRemco Moolenaar, Bart Demoen.
- Boolean Constraint Solving Using clp(FD)Philippe Codognet, Daniel Diaz.
- A Survey of AKL, A General Purpose Concurrent Constraint Language (Extended Abstract)Sverker Janson, Johan Montelius, Seif Haridi.
- Towards Abstract Interpretation of AKLDan Sahlin, Thomas Sjöland.
- Contextual Nets and Constraint Logic ProgrammingUgo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo.