Your search returned the following 4 documents:

4. Resolution Theorem Proving
   Leo Bachmair and Harald Ganzinger
   In: Handbook of Automated Reasoning, 2001, 19-99
   [PS: Download: 2001Handbook.ps.gz]
   
3. Non-Clausal Resolution and Superposition with Selection and Redundancy Criteria
   Leo Bachmair and Harald Ganzinger
   In: Logic Programming and Automated Reasoning, St.\ Petersburg, Russia, 1992, 1992, 273-284
   
2. Linear 0-1 Inequalities and Extended Clauses
   Peter Barth
   In: Proceedings~4th International~Conference on Logic Programming and Automated Reasoning LPAR '93, St. Petersburg, Russia, 1993, 1993, 40-51
   
1. Optimized Translation of Multi Modal Logic into Predicate Logic
   Hans Jürgen Ohlbach
   In: Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning (LPAR'93), St. Petersburg, Russia, July, 1993, 253-264