Topological Reasoning and the Logic of Knowledge. - Andrew Dabrowski; Lawrence S. Moss; Rohit Parikh (Ann. Pure Appl. Log., 1996)

The Johnson Graphs Satisfy a Distance Extension Property. - Andrew Dabrowski; Lawrence S. Moss (Comb., 2000)