Reference change · event page

Certified first-order ac-unification and applications

Published notice on a work cited in the Pith corpus. Exact quotes below. No model judges whether any citation was load-bearing.

This page records that a citing paper's bibliography includes a work with a published notice. It is not a judgment on the citing paper.

Correction Crossref 1 open · 1 total · 0 disputed

DOI: 10.1007/s10817-024-09714-5
Notice DOI: 10.1007/s10817-024-09715-4
Event date: 2025-02-18
Machine twin: JSON

01One-hop citing occurrences

Correction Open

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders

ref [8] · 2505.14895 · notice #9132 · dispute

Raw extraction · bibliography line

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

Status lifecycle on notices: open → disputed → (response attached on the notice page). Repaired counts matter as much as open counts. There is no “safe,” “invalid,” or “resolved” badge.