A set theoretic approach to the simultaneous localization and map building problem. - Mauro Di Marco; Andrea Garulli; S. Lacroix; Antonio Vicino (CDC, 2000)