, 2016, Paraconsistent computation and dialetheic machines, in H. Andreas & P. Verdée (eds.), Logical studies of paraconsistent reasoning in science and mathematics, Dordrecht, Springer, pp. 205-221.
with Cotnoir, A.J. , 2015, 'Inconsistent boundaries', Synthese 192 (5), 1267-1294.
, 2013a, Notes on inconsistent set theory, in K. Tanaka, F. Berto, E. D. Mares & F. Paoli (eds.), Paraconsistency, Dordrecht, Springer, pp. 315-328.