All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs.

Bartosz Bednarczyk, Robert Ferens, Piotr Ostropolski-Nalewaja

Browse the full IJCAI paper archive.