"A Case for Stale Synchronous Distributed Model for Declarative Recursive ..."

Ariyam Das, Carlo Zaniolo (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics