Reasoning in the Theory of Heap: Satisfiability and Interpolation

von Esen, Zafer
Veröffentlicht in LOPSTR (30. : 2020 : Online) Logic-based program synthesis and transformation (2021)