Operators and Curried Functions: Training and Analysis of Simple Recurrent Networks. - Janet Wiles; Anthony Bloesch (NIPS, 1991)

A Tableau Style Proof System for Two Paraconsistent Logics. - Anthony Bloesch (Notre Dame J. Formal Log., 1993)

Aestetic Layout of Generalized Trees. - Anthony Bloesch (Softw. Pract. Exp., 1993)

Signed tableaux: a basis for automated theorem proving in nonclassical logics - Anthony Bloesch (1993)