Reference health

The Herbrand Manifesto

https://doi.org/10.1007/978-3-319-21542-6_1
CiteStamped reference-health badge
4/4 checkable references clean · checked 2026-07-24

Every reference with a DOI in the deposited reference list resolved to a known work in Crossref or DataCite at the dated check, and none carried a retraction, withdrawal, or removal notice.

2 without a DOI — not checked. A reference deposited without a DOI is never matched by title or guessed at; it stays outside the checked set, and this line discloses that.

The 4 checked references that resolve
resolves10.1016/0743-1066(85)90002-0
Horn clause queries and generalizations
resolves10.1007/978-3-031-01799-5
Introduction to Logic
resolves10.1007/978-94-011-3981-6
Proof Theory and Automated Deduction
resolves10.1145/321978.321991
The Semantics of Predicate Logic as a Programming Language
The 2 references without a DOI — listed, not checked
no DOI — not checkedGenesereth, M., Kao, E.J.Y.: Herbrand semantics. Tech. Rep. LG-2015-01, Logic Group, Computer Science Dept., Stanford University (2015). http://logic.stanford.edu/herbrand/herbrand.html
no DOI — not checkedKeller, U.: Some remarks on the definability of transitive closure in first-order logic and datalog. Tech. rep, Digital Enterprise Research Institute (DERI) (2004)
What this badge says. CiteStamped means the CHECKABLE references of this work were clean at the dated check: each resolved to a known work in a public registry, and none carried a retraction notice at that time. It says nothing about the quality, findings, or importance of the work itself, and nothing about references deposited without a DOI.

checked 2026-07-24 — re-checked daily as this page is visited; titles and statuses come from Crossref and DataCite and are not part of the signed record

view as graph · paper page

Embed this badge

Both snippets point at the live badge image and link back to this page. The badge re-renders from the daily check, so an embed never goes stale by more than a day of visits.

<a href="https://citestamp.com/citestamped/10.1007/978-3-319-21542-6_1"><img src="https://citestamp.com/citestamped/10.1007/978-3-319-21542-6_1/badge.svg" alt="CiteStamped reference-health badge" width="460" height="64"></a>
[![CiteStamped reference-health badge](https://citestamp.com/citestamped/10.1007/978-3-319-21542-6_1/badge.svg)](https://citestamp.com/citestamped/10.1007/978-3-319-21542-6_1)