| |
| 1992 | ||
|---|---|---|
| 2 | Oliver Bittel: Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic. JELIA 1992: 262-278 | |
| 1 | Oliver Bittel: The Lambda-Tableau Calculus: A New Approach to Theorem Proving in the Intuitionistic Logic (Extended Abstract). TABLEAUX 1992: 15-18 | |