21 citations · 21 across the 1 of their papers we have counts for
1 paper
Kevin H. Knuth
A given question can be defined in terms of the set of statements or assertions that answer it. Application of logical inference to these sets of assertions allows one to derive th…