Dmitri Rozplokhas, Dmitri Boulytchev. Improving Refutational Completeness of Relational Search via Divergence Test. In David Sabel, Peter Thiemann, editors, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018. ACM, 2018. [doi]
Abstract is missing.