P. Gburzynski. "A Gentzen-like Method for Automated Theorem Proving Programmed in Loglan." Summer School on Loglan, Zaborow, Poland, 1983.

Languages mentioned

• LOGLAN {1982}