website/content/research/atp
..
_index.md
davis-putnam.md
definitional-cnf.md
truth-functional-expansion.md