A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
S. (2005) 'The complexity of resolution with generalized symmetry rules.', Theory of computing systems., 38 (2). pp. 171-188. Further information on publisher's website: http://dx. The full-text may be used and/or reproduced, and given to third parties in any format or medium, without prior permission or charge, for personal research or study, educational, or not-for-prot purposes provided that: • a full bibliographic reference is made to the original source • a link is made to the metadatadoi:10.1007/3-540-36494-3_42 fatcat:mrhkxexihbdszczec4dcqefvqm