All-Instances Restricted Chase Termination (2020)

First Author: Tomasz Gogacz
Attributed to:  Efficient Querying of Inconsistent Data funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://doi.org/10.1145/3375395.3387644

Type: Conference/Paper/Proceeding/Abstract