Your search returned the following 3 documents:

3. A Framework for Circular Assume-Guarantee Rules
   Patrick Maier
   In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, Saarbrücken, Germany, March 4 - 6, 2002, 2002, 55-58
   
2. Is Logic Effective for Analyzing C Programs?
   Thomas Hillenbrand, Andreas Podelski, and Dalibor Topić
   In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, Saarbrücken, 2002, 27-30
   [PS: Download: analysis.ps]
   
1. Recursive resolution for modal logic
   Yevgeny Kazakov
   In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, Saarbrücken, Germany, 2002, 11-15
   [Download: RecResML.dvi]