Authors: Buning, HK Lettmann, T

Citation: Hk. Buning et T. Lettmann, Resolution remains hard under equivalence, DISCR APP M, 97, 1999, pp. 139-148