Decidability Proven for Linear Multi‑Headed Restricted Chase

Decidability of restricted chase termination for linear multi‑headed rules was proved, resolving an open question; the result appears in a KR 2025 technical report. Read more: getnews.me/decidability-proven-for-... #restrictedchase #linearrules #kr2025