Publications

On reordering conjunctions of literals; a simple, fast algorithm