Lin Hai Jigui Sun Knowledge Compilation Using the Extension Rule. 93-102 2004 32 J. Autom. Reasoning 2 http://dx.doi.org/10.1023/B:JARS.0000029959.45572.44 db/journals/jar/jar32.html#HaiS04