Marrying the Merits of Nagelian Reduction and Functional Reduction - Esfeld, Michael et al - swissbib.ch:(NATIONALLICENCE)springer-10.1007/s12136-011-0130-4