Abstract predicate entailment over points-to heaplets is syntax recognition. - René Haberland; Kirill Krinkin; Sergey Ivanovskiy (FRUCT, 2016)

Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog. - René Haberland; Sergey Ivanovskiy (CoRR, 2019)