abstraction, CDCL algorithm, conditionals, logic programming, non-monotonic reasoning, SAT solving, transition system.
