Bruno Dumant hecking the Soundness of Resolution Schemes. 37-51 1992 JICSLP db/conf/iclp/iclp92.html#Dumant92