Lilia Georgieva Ullrich Hustadt Renate A. Schmidt A New Clausal Class Decidable by Hyperresolution. 260-274 2002 conf/cade/2002 CADE http://dx.doi.org/10.1007/3-540-45620-1_21 db/conf/cade/cade2002.html#GeorgievaHS02