L. Yohanes Stefanus, Ario Santoso. A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic. In Geoff Sutcliffe, Stephan Schulz, Eugenia Ternovska, editors, The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011. Volume 2 of EPiC Series, pages 33-41, EasyChair, 2010.
Abstract is missing.