1. DuboissetM. Un système de contraintes d'intégritéOCLpour les bases de données spatiales – application à un système d'information pour l'épandage agricole Thesis Université Blaise Pascal Clermont‐Ferrand 2007.
2. GavignetÉ. LeclercqE. CullotN.et al. “De l'usage des logiques modales pour la gestion de l'incertitude des données : application en archéologie” 11th International Conference Spatial Analysis andGEOmatics(SAGEO2015) Hammamet Tunisia pp164–178 November 2015.
3. Raisonner en logique modale sur l’incertitude liée aux données
4. Predicate logic as programming language;Kowalski R.;IFIP Congress,1974