TY - JOUR AU - Kleine Büning, Hans AU - Lettmann, Theodor ID - 19815 JF - Discrete Applied Mathematics SN - 0166-218X TI - Resolution remains hard under equivalence ER -