A Formalized 3D Geovisualization Illustrated to Selectivity Purpose of Virtual 3D City Model. - Romain Neuville; Jacynthe Pouliot; Florent Poux; Laurent de Rudder; Roland Billen (ISPRS Int. J. Geo Inf., 2018)

Slanted Canonicity of Analytic Inductive Inequalities. - Laurent de Rudder; Alessandra Palmigiano (ACM Trans. Comput. Log., 2021)