Undecidable First-Order Theories of Affine Geometries. - Antti Kuusisto; Jeremy Meyers; Jonni Virtema (Log. Methods Comput. Sci., 2013)

What is Nominalistic Mereology? - Jeremy Meyers (J. Philos. Log., 2014)