Report copyright - Saturation of Sets of General Clausesrg1-teaching.mpi-inf.mpg.de/autrea-ss12/slides/slides15.pdf · Saturation of Sets of General Clauses Proof: W.l.o.g. we may assume that clauses
Please pass captcha verification before submit form