A Technical Note on Splitting and Clausal Normal Form Algorithms. - Norbert Eisinger; M. Weigele (GWAI, 1983)