Systems of reductions - Benninghofen, Benjamin 1958-; Kemmerich, Susanne; Richter, Michael M. 1938-2020 (Lecture notes in computer science, 1987)