Your search returned the following 4 documents:

4. Model-Checking of Specifications Integrating Processes, Data and Time
   Jochen Hoenicke and Patrick Maier
   In: FM 2005: Formal Methods; International Symposium of Formal Methods Europe, Newcastle, UK, 2005, 465-480
   
3. Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings
   Leo Bachmair, Harald Ganzinger, and Jürgen Stuber
   In: Recent Trends in Data Type Specification. 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May/June 1994, 1995, 1-29
   
2. Integration of equational reasoning into instantiation-based theorem proving
   Harald Ganzinger and Konstantin Korovin
   In: Computer science logic : 18th International Workshop CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, 2004, 71-84
   
1. Intuitionistic LTL and a New Characterization of Safety and Liveness
   Patrick Maier
   In: Computer science logic : 18th International Workshop CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, 2004, 295-309