Sibylle Möhle and Roberto Sebastiani and Armin Biere. Four Flavors of Entailment. In: Theory and Applications of Satisfiability Testing (SAT 2020). Lecture Notes in Computer Science, vol. 12178, pages 62–71. Springer 2020.

[ paper | slides | video ]