The top documents tagged [cnf transformation2]