Spatial-Yap: A Logic-Based Geographic Information System. - David Vaz; Michel Ferreira; Ricardo Lopes (ICLP, 2007)

User Defined Indexing. - David Vaz; Vítor Santos Costa; Michel Ferreira (ICLP, 2009)

Fire! Firing Inductive Rules from Economic Geography for Fire Risk Detection. - David Vaz; Vítor Santos Costa; Michel Ferreira (ILP, 2010)

BigYAP: Exo-compilation meets UDI. - Vítor Santos Costa; David Vaz (Theory Pract. Log. Program., 2013)