Contextial Insertion for #3SAT. - B. Subramaniam; Rani Siromoney (Bull. EATCS, 2006)