fix some citations
update CNF