1 citations · 1 across the 1 of their papers we have counts for
1 paper
Timm Lampert
This paper describes a decision procedure for disjunctions of conjunctions of anti-prenex normal forms of pure first-order logic (FOLDNFs) that do not contain ∨ within the sco…