Oliver Bittel. Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic. In David Pearce, Gerd Wagner, editors, Logics in AI, European Workshop, JELIA 92, Berlin, Germany, September 7-10, 1992, Proceedings. Volume 633 of Lecture Notes in Computer Science, pages 262-278, Springer, 1992.
Abstract is missing.