Constructing Induction Rules for Deductive Synthesis Proofs

2006 · Electronic Notes in Theoretical Computer Science · 2,819 citations · 0 from inside this corpus

Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques Fleuriot

The source holds an abstract for this work, but its best open-access copy is under cc-by-nc-nd, which does not permit us to republish the text. Read it at the source below.

1 of 1 neighbouring works in this corpus. Blue is what this paper cites; orange is what cites it, and a dashed line is one neighbour citing another. Only the largest labels are drawn — every node carries its full title on hover.

this paper works it cites works citing it node size = global citations · hover for the full title

What this paper cites, inside the corpus

Paper	Year	Cited
Lecture Notes in Artificial Intelligence	1999	7,440

Links

DOI · Open access copy · OpenAlex record

Topics

Logic, programming, and type systems	Computer Science
Formal Methods in Verification	Computer Science
Software Engineering Research	Computer Science

Is this record sound?

complete

Nothing in this record contradicts itself and no field we check is missing.

supports4 author record(s) attached.
supports20 reference(s) recorded.
supportsThe DOI's year agrees with the publication year.
supportsA title is present.

Provenance

Everything above was read from one stored OpenAlex payload, fetched 2026-09-04T03:58:48+00:00.

sha256 46f669157f96ea35…