11 citations · 47 across the 17 of their papers we have counts for
1 paper · 2 filters
Christoph Wernhard
A prototype system is described whose core functionality is, based on propositional logic, the elimination of second-order operators, such as Boolean quantifiers and operators for…