Michel Aurnague Mario Borillo A Formal Semantics for Internal Localization: an Essay on Spatial Commonsense Knowledge. 305-317 1990 AIMSA db/conf/aimsa/aimsa1990.html#AurnagueB90