Your search returned the following 5 documents:

5. A Higher-order Interpretation of Deductive Tableau
   Abdelwaheb Ayari and David A. Basin
   Journal of Symbolic Computation 31 (5): 487-520, 2001
   
4. LISA: A Specification Language Based on WS2S
   Ayari Abdelwaheb, David A. Basin, and Andreas Podelski
   In: Proceedings of the 11th International Workshop on Computer Science Logic (CSL-97), Aarhus, Denmark, August, 23 - 29, 1998, 18-34
   
3. Generic System Support for Deductive Program Development
   Abdelwaheb Ayari and David A. Basin
   In: Second International Workshop, TACAS'96: Tools and Algorithms for the Construction and Analysis of Systems, Passau, Germany, March, 1996, 313-328
   
2. A Reinterpretation of the Deductive Tableaux System in Higher-Order Logic
   Abdelwaheb Ayari
   Master's thesis, Universität des Saarlandes, 1995
   [PS: Download: abdelwaheb.ps]
   
1. Interpretation of the Deductive Tableau in HOL
   Abdelwaheb Ayari and David A. Basin
   In: Proceedings of the First Isabelle Users Workshop, University of Cambridge, England, 18-19 September, 1995, 91-100