Merit and Blame Assignment with Kind 2

von Larraz, Daniel
Veröffentlicht in FMICS (26. : 2021 : Online) Formal Methods for Industrial Critical Systems (2021)

Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis

von Reynolds, Andrew
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)