Authors: Formisano, A Omodeo, EG Temperini, M

Citation: A. Formisano et al., Goals and benchmarks for automated map reasoning, J SYMB COMP, 29(2), 2000, pp. 259-297