ML Anthology

Ferens, Robert

1 publications

IJCAI 2020 All-Instances Oblivious Chase Termination Is Undecidable for Single-Head Binary TGDs Bartosz Bednarczyk, Robert Ferens, Piotr Ostropolski-Nalewaja