Local reasoning, separation, and aliasing. Presented at SPACE04 (2004)

by R Bornat, C Calcagno, P O’Hearn