Login / Signup

Delete Operations and Horn Formulas.

Rüdiger Schätz
Published in: CSL (1988)
Keyphrases
  • horn formulas
  • database
  • domain knowledge
  • knowledge compilation