A Complete Logical System for the Equality of Recursive Terms for Sets. - Lawrence S. Moss; Erik Wennstrom; Glen T. Whitney (Logic and Program Semantics, 2012)

Tableau-Based Model Generation for Relational Syllogistic Logics. - Erik Wennstrom (ISAIM, 2014)