Citation notice #9132 · 2026-08-07 18:18:05.592452+00:00

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders

Correction Crossref Open

cites Certified first-order ac-unification and applications, which carries a correction notice dated 2025-02-18. One-hop deterministic notice: the citation edge exists in the Pith bibliography graph; no model judged whether the citation was load-bearing.

This is not a judgment on the citing paper.

Citing paper Event page Original DOI Notice DOI File a formal challenge All reference changes

01Evidence

Raw extraction · bibliography line · bibliography index 8

Ayala-Rinc´ on, M., Fern´ andez, M., Silva, G.F., Kutsia, T., Nantes- Sobrinho, D., 2024. Certified first-order ac-unification and applications. J. Autom. Reason. 68, 25. doi: 10.1007/S10817-024-09714-5 . 41

02Event

Type: Correction
Source: Crossref
Original DOI: 10.1007/s10817-024-09714-5
Notice DOI: 10.1007/s10817-024-09715-4
Date: 2025-02-18
Title: Correction to: Certified First-Order AC-Unification and Applications
Reasons: ['Correction']
Work: Certified first-order ac-unification and applications (2024) Journal of Automated Reasoning

Schema constants (for re-runners): correction · crossref

03Dispute this notice

If this citation does not depend on the flagged claim, or the event is wrong, say so. Disputes are public. For a signed challenge against the paper itself, use the formal challenge form.