and bounded truth-table reducibility.

Published in: Discret. Math. (1978)

Keyphrases

truth table
boolean functions
defeasible logic
dnf formulas
membership queries
log log
rule base
business rules
reasoning systems