Your search returned the following 3 documents:

3. ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
   Andreas Podelski and Andrey Rybalchenko
   In: Practical aspects of declarative languages : 9th International Symposium, PADL 2007, Nice, France, 2007, 245-259
   
   
2. Constraints in functional logic programming (Abstract)
   Alexander Bockmayr
   In: Integration of functional and logic languages, Schloss Dagstuhl, Germany, 20.05.-24.05.96, 1996, 4 p.
   
1. Optimizing the Evaluation of XPath Using Description Logics
   Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, and Thomas Kleemann
   In: Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, 2005, 1-15