Keyword:Weak Completion

Publications
The Weak Completion Semantics and Equality Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Sibylle Schwarz and Lim Yohanes Stefanus In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning