P. Baldi: "Density Elimination"; Talk: Workshop on Admissible Rules and Unification II, Les Diablerets, Les Diablerets; 2015-01-30 - 2015-02-02.