On the public citation graph

Journal of automated reasoning

https://doi.org/10.1007/bf00047165
0 signed · 146 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/0-387-21551-4_4openalex-snapshot
Verification Techniques
inferred← citeshttps://doi.org/10.1007/1-4020-4933-1_3openalex-snapshot
Efficient Construction and Verification of Embedded Software
inferred← citeshttps://doi.org/10.1007/10720084_5openalex-snapshot
Axioms vs. Rewrite Rules: From Completeness to Cut Elimination
inferred← citeshttps://doi.org/10.1007/10720246_20openalex-snapshot
Deductive Synthesis of Recursive Plans in Linear Logic
inferred← citeshttps://doi.org/10.1007/10720327_5openalex-snapshot
Infinite State Model Checking by Abstract Interpretation and Program Specialisation
inferred← citeshttps://doi.org/10.1007/11559306_1openalex-snapshot
A Comprehensive Framework for Combined Decision Procedures
inferred← citeshttps://doi.org/10.1007/11814771_42openalex-snapshot
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures
inferred← citeshttps://doi.org/10.1007/3-540-44585-4_41openalex-snapshot
Rewriting for Symbolic Execution of State Machine Models
inferred← citeshttps://doi.org/10.1007/3-540-44622-2_28openalex-snapshot
Elimination of Negation in a Logical Framework
inferred← citeshttps://doi.org/10.1007/3-540-44957-4_36openalex-snapshot
Representing Object Code
inferred← citeshttps://doi.org/10.1007/3-540-45084-x_2openalex-snapshot
Notes on Triangular Sets and Triangulation-Decomposition Algorithms II: Differential Systems
inferred← citeshttps://doi.org/10.1007/3-540-45406-3_2openalex-snapshot
Constraint Solving on Terms
inferred← citeshttps://doi.org/10.1007/3-540-45410-1_5openalex-snapshot
Randomized Xero Testing of Radical Expressions and Elementary Geometry Theorem Proving
inferred← citeshttps://doi.org/10.1007/3-540-45578-7_35openalex-snapshot
One Flip per Clock Cycle
inferred← citeshttps://doi.org/10.1007/3-540-45616-3_13openalex-snapshot
Integration of Equality Reasoning into the Disconnection Calculus
inferred← citeshttps://doi.org/10.1007/3-540-45616-3_16openalex-snapshot
A Confluent Theory Connection Calculus
inferred← citeshttps://doi.org/10.1007/3-540-46508-1_1openalex-snapshot
Automated Theorem Proving in First-Order Logic Modulo: On the Difference between Type Theory and Set Theory
inferred← citeshttps://doi.org/10.1007/3-540-47018-2_5openalex-snapshot
Logic Program Specialisation
inferred← citeshttps://doi.org/10.1007/3-540-51081-8_129openalex-snapshot
Consider only general superpositions in completion procedures
inferred← citeshttps://doi.org/10.1007/3-540-52885-7_75openalex-snapshot
A theorem prover for a computational logic
inferred← citeshttps://doi.org/10.1007/3-540-53082-7_22openalex-snapshot
Aspects of consistency of sophisticated knowledge representation languages
inferred← citeshttps://doi.org/10.1007/3-540-53104-1_42openalex-snapshot
Match-time predictability in real-time production systems
inferred← citeshttps://doi.org/10.1007/3-540-54345-7_44openalex-snapshot
Elimination of negation in term algebras
inferred← citeshttps://doi.org/10.1007/3-540-55602-8_181openalex-snapshot
Automated correctness proofs of machine code programs for a commercial microprocessor
inferred← citeshttps://doi.org/10.1007/3-540-55606-0_40openalex-snapshot
Tuteurs Intelligents et Intelligence Artificielle: problèmes posés en construction de figures géométriques
inferred← citeshttps://doi.org/10.1007/3-540-55930-2_16openalex-snapshot
Knowledge representation for natural language processing
inferred← citeshttps://doi.org/10.1007/3-540-56393-8_21openalex-snapshot
Computing linearizations using test sets
inferred← citeshttps://doi.org/10.1007/3-540-56454-3_1openalex-snapshot
SLWV — A theorem prover for logic programming
inferred← citeshttps://doi.org/10.1007/3-540-58156-1_26openalex-snapshot
A mechanization of strong Kleene logic for partial functions
inferred← citeshttps://doi.org/10.1007/3-540-58156-1_5openalex-snapshot
The search efficiency of theorem proving strategies
inferred← citeshttps://doi.org/10.1007/3-540-58907-4_20openalex-snapshot
Sorted HiLog: Sorts in higher-order logic data languages
inferred← citeshttps://doi.org/10.1007/3-540-59200-8_74openalex-snapshot
Parallel ReDuX → PaReDuX
inferred← citeshttps://doi.org/10.1007/3-540-59338-1_29openalex-snapshot
Labelled tableaux for multi-modal logics
inferred← citeshttps://doi.org/10.1007/3-540-60392-1_20openalex-snapshot
A hierarchical representation of qualitative shape based on connection and convexity
inferred← citeshttps://doi.org/10.1007/3-540-60437-5_17openalex-snapshot
Composing decision procedures: the approach and a case study
inferred← citeshttps://doi.org/10.1007/3-540-69778-0_16openalex-snapshot
A Tableau Calculus for Quantifier-Free Set Theoretic Formulae
inferred← citeshttps://doi.org/10.1007/978-0-387-35190-2_17openalex-snapshot
Integrated Reasoning Support in System Design: Design Derivation and Theorem Proving
inferred← citeshttps://doi.org/10.1007/978-1-4020-1986-9_24openalex-snapshot
Epistemology and Cognitive Science
inferred← citeshttps://doi.org/10.1007/978-1-4020-5587-4_7openalex-snapshot
Logical Theories for Fragments of Elementary Geometry
inferred← citeshttps://doi.org/10.1007/978-1-4419-5998-0_3openalex-snapshot
Introduction to ACL2
inferred← citeshttps://doi.org/10.1007/978-1-4612-4980-1_15openalex-snapshot
Negation in Knowledge Base Management Systems
inferred← citeshttps://doi.org/10.1007/978-1-4612-4980-1_21openalex-snapshot
A Brief Survey of Logic and Database Systems
inferred← citeshttps://doi.org/10.1007/978-1-4613-1531-5_6openalex-snapshot
Automated Knowledge Acquisition for Strategic Knowledge
inferred← citeshttps://doi.org/10.1007/978-1-4615-5907-8_9openalex-snapshot
Program Verification and Testing
inferred← citeshttps://doi.org/10.1007/978-3-030-25001-0_6openalex-snapshot
Mathematical Proofs and Scientific Discovery
inferred← citeshttps://doi.org/10.1007/978-3-319-04921-2_29openalex-snapshot
Counting Models of Linear-Time Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-06410-9_27openalex-snapshot
Co-induction Simply
inferred← citeshttps://doi.org/10.1007/978-3-319-13770-4_4openalex-snapshot
Using Representation Theorems for Proving Polynomials Non-negative
inferred← citeshttps://doi.org/10.1007/978-3-540-39813-4_6openalex-snapshot
A Machine-Verified Code Generator
inferred← citeshttps://doi.org/10.1007/978-3-540-40007-3_11openalex-snapshot
A Grand Challenge Proposal for Formal Methods: A Verified Stack
inferred← citeshttps://doi.org/10.1007/978-3-540-69149-5_29openalex-snapshot
A Mechanized Program Verifier
inferred← citeshttps://doi.org/10.1007/978-3-540-74591-4_3openalex-snapshot
Separation Logic for Small-Step cminor
inferred← citeshttps://doi.org/10.1007/978-3-540-79719-7_9openalex-snapshot
Random Instances of W[2]-Complete Problems: Thresholds, Complexity, and Algorithms
inferred← citeshttps://doi.org/10.1007/978-3-540-88194-0_15openalex-snapshot
Partial Translation Verification for Untrusted Code-Generators
inferred← citeshttps://doi.org/10.1007/978-3-642-02716-1_10openalex-snapshot
A Tableau-Based System for Spatial Reasoning about Directional Relations
inferred← citeshttps://doi.org/10.1007/978-3-642-05151-7_15openalex-snapshot
Detecting Inconsistencies in the Gene Ontology Using Ontology Databases with Not-gadgets
inferred← citeshttps://doi.org/10.1007/978-3-642-21437-0_16openalex-snapshot
Certification of Safe Polynomial Memory Bounds
inferred← citeshttps://doi.org/10.1007/978-3-642-28756-5_28openalex-snapshot
Zeno: An Automated Prover for Properties of Recursive Data Structures
inferred← citeshttps://doi.org/10.1007/978-3-642-29414-3_3openalex-snapshot
Teleo-Reactive Abductive Logic Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-38574-2_10openalex-snapshot
Automated Reasoning, Fast and Slow
inferred← citeshttps://doi.org/10.1007/978-3-642-73005-4_22openalex-snapshot
Program Verification by Symbolic Execution and Induction
inferred← citeshttps://doi.org/10.1007/978-3-642-74064-0_19openalex-snapshot
Using Theory Resolution to Simplify Interpreted Formulae
inferred← citeshttps://doi.org/10.1007/978-3-642-75100-4_24openalex-snapshot
Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype
inferred← citeshttps://doi.org/10.1007/978-3-642-77810-0_53openalex-snapshot
Repräsentation und Auswahl von Ablaufplanungsverfahren durch Heuristiken
inferred← citeshttps://doi.org/10.1007/978-3-642-77810-0_9openalex-snapshot
Developing Complex Software for Critical Systems
inferred← citeshttps://doi.org/10.1007/978-90-481-8785-0_4openalex-snapshot
Extended Natural Deduction
inferred← citeshttps://doi.org/10.1007/978-94-009-2699-8_5openalex-snapshot
Signs and Minds: An Introduction to the Theory of Semiotic Systems
inferred← citeshttps://doi.org/10.1007/978-94-010-0874-7_14openalex-snapshot
Planning Intelligent Responses in a Natural Language System
inferred← citeshttps://doi.org/10.1007/978-94-010-0973-7_3openalex-snapshot
Signs and Minds
inferred← citeshttps://doi.org/10.1007/978-94-010-0973-7_9openalex-snapshot
Philosophical Aspects of Program Verification
inferred← citeshttps://doi.org/10.1007/978-94-011-1793-7_17openalex-snapshot
Program Verification, Defeasible Reasoning, and Two Views of Computer Science
inferred← citeshttps://doi.org/10.1007/978-94-011-3460-6_19openalex-snapshot
Reasoning with Maximum Entropy in Expert Systems
inferred← citeshttps://doi.org/10.1007/978-94-011-3488-0_1openalex-snapshot
A Biographical Sketch of W. W. Bledsoe
inferred← citeshttps://doi.org/10.1007/978-94-011-3488-0_4openalex-snapshot
Perspectives on Automated Deduction
inferred← citeshttps://doi.org/10.1007/978-94-015-9383-0_13openalex-snapshot
Complex Plans in the Fluent Calculus
inferred← citeshttps://doi.org/10.1007/978-94-017-0435-9_5openalex-snapshot
Term Indexing
inferred← citeshttps://doi.org/10.1007/978-94-017-0435-9_9openalex-snapshot
Parallel Term Rewriting with Paredux
inferred← citeshttps://doi.org/10.1007/978-94-017-1754-0_11openalex-snapshot
A Bibliography on Analytic Tableaux Theorem Proving
inferred← citeshttps://doi.org/10.1007/bf00127678openalex-snapshot
Using spatial logic to describe visual languages
inferred← citeshttps://doi.org/10.1007/bf00248251openalex-snapshot
A foray into combinatory logic
inferred← citeshttps://doi.org/10.1007/bf00361037openalex-snapshot
Philosophical aspects of program verification
inferred← citeshttps://doi.org/10.1007/bf00709138openalex-snapshot
Experiences with software specification and verification using LP, the Larch proof assistant
inferred← citeshttps://doi.org/10.1007/bf01058390openalex-snapshot
Theory matrices (for modal logics) using alphabetical monotonicity
inferred← citeshttps://doi.org/10.1007/bf01383831openalex-snapshot
Mechanically verifying safety and liveness properties of delay insensitive circuits
inferred← citeshttps://doi.org/10.1007/bf02127750openalex-snapshot
Unification in sort theories and its applications
inferred← citeshttps://doi.org/10.1007/bf02186359openalex-snapshot
A selected artificial intelligence bibliography for operations researchers
inferred← citeshttps://doi.org/10.1007/bf02601587openalex-snapshot
Expert systems in mechanical and manufacturing engineering
inferred← citeshttps://doi.org/10.1007/bf03037483openalex-snapshot
Constrained partial deduction and the preservation of characteristic trees
inferred← citeshttps://doi.org/10.1007/bf03040963openalex-snapshot
Resolution for label-based formulas in hierarchical representation
inferred← citeshttps://doi.org/10.1007/bf03250717openalex-snapshot
Untersuchung wissensbasierter und weiterer ausgewählter Ansätze zur Unterstützung der Produktionsfeinplanung — ein Methodenvergleich
inferred← citeshttps://doi.org/10.1007/bfb0012821openalex-snapshot
Elements of Z-module reasoning
inferred← citeshttps://doi.org/10.1007/bfb0012847openalex-snapshot
SATCHMO: A theorem prover implemented in Prolog
inferred← citeshttps://doi.org/10.1007/bfb0012851openalex-snapshot
Linear modal deductions
inferred← citeshttps://doi.org/10.1007/bfb0016237openalex-snapshot
An approach to proof checker
inferred← citeshttps://doi.org/10.1007/bfb0019397openalex-snapshot
A pragmatic survey of automated debugging
inferred← citeshttps://doi.org/10.1007/bfb0022718openalex-snapshot
Integration of reasoning and algebraic calculus in geometry
inferred← citeshttps://doi.org/10.1007/bfb0030389openalex-snapshot
A polynomial time algorithm for finding finite unions of tree pattern languages
inferred← citeshttps://doi.org/10.1007/bfb0054272openalex-snapshot
Selectively instantiating definitions
inferred← citeshttps://doi.org/10.1007/bfb0055132openalex-snapshot
Classical propositional decidability via Nuprl proof extraction
inferred← citeshttps://doi.org/10.1007/s001650050052openalex-snapshot
Interactive Proof Critics
inferred← citeshttps://doi.org/10.1007/s001650050053openalex-snapshot
LΩUI: Lovely ΩMEGA User Interface
inferred← citeshttps://doi.org/10.1007/s001970050061openalex-snapshot
Steuerung der Inferenz in der Diskursverarbeitung
inferred← citeshttps://doi.org/10.1007/s10472-004-9434-zopenalex-snapshot
On Deciding Subsumption Problems
inferred← citeshttps://doi.org/10.1007/s10601-007-9024-xopenalex-snapshot
Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems
inferred← citeshttps://doi.org/10.1007/s10845-016-1201-6openalex-snapshot
A multi-objective car sequencing problem on two-sided assembly lines
inferred← citeshttps://doi.org/10.1007/s10951-006-7186-9openalex-snapshot
Algorithms for the car sequencing and the level scheduling problem
inferred← citeshttps://doi.org/10.1007/s10951-007-0046-4openalex-snapshot
A GRASP approach for the extended car sequencing problem
inferred← citeshttps://doi.org/10.1007/s11424-012-2048-3openalex-snapshot
A review and prospect of readable machine proofs for geometry theorems
inferred← citeshttps://doi.org/10.1007/s11633-012-0664-yopenalex-snapshot
Task-resource scheduling problem
inferred← citeshttps://doi.org/10.1007/s11704-022-1741-1openalex-snapshot
Satisfiability threshold of the random regular (s, c, k)-SAT problem
inferred← citeshttps://doi.org/10.1007/s11704-024-3631-1openalex-snapshot
PBCounter: weighted model counting on pseudo-boolean formulas
inferred← citeshttps://doi.org/10.1007/s12046-009-0005-1openalex-snapshot
Formalizing Arrow’s theorem
inferred← citeshttps://doi.org/10.1051/matecconf/20166104023openalex-snapshot
Analysis on Real time Perception Technology of Wireless Sensor Network in CPS
inferred← citeshttps://doi.org/10.1080/00207540903469043openalex-snapshot
Definition of spacing constraints for the car sequencing problem
inferred← citeshttps://doi.org/10.1080/00207543.2013.765068openalex-snapshot
Iterated beam search for the combined car sequencing and level scheduling problem
inferred← citeshttps://doi.org/10.1080/00207549108930100openalex-snapshot
Layout considerations in assembly line design
inferred← citeshttps://doi.org/10.1080/00207549408956996openalex-snapshot
Sequencing jobs on an automobile assembly line: objectives and procedures
inferred← citeshttps://doi.org/10.1080/00207549408957076openalex-snapshot
Sequencing mixed-model assembly lines to level parts usage and minimize line length
inferred← citeshttps://doi.org/10.1080/01445340412331311947openalex-snapshot
Lewis Carroll's Formal Logic
inferred← citeshttps://doi.org/10.1080/03081079508908047openalex-snapshot
A NON-NUMERIC APPROACH TO UNCERTAIN REASONING
inferred← citeshttps://doi.org/10.1080/09528138908953702openalex-snapshot
OSCAR: a general theory of rationality
inferred← citeshttps://doi.org/10.1080/09537329608522458openalex-snapshot
Safety-critical and securtiy-critical computing in britain: an exploration
inferred← citeshttps://doi.org/10.1080/10242694.2018.1425118openalex-snapshot
Does the Efficient Market Hypothesis Fit Military Enterprises in China?
inferred← citeshttps://doi.org/10.1080/10798587.1996.10750660openalex-snapshot
Generalization of Rough Sets using Modal Logics
inferred← citeshttps://doi.org/10.1080/11663081.1996.10510868openalex-snapshot
OSCAR
inferred← citeshttps://doi.org/10.1080/11663081.2012.705962openalex-snapshot
Reasoning without believing: on the mechanisation of presuppositions and partiality
inferred← citeshttps://doi.org/10.1080/21670811.2014.985497openalex-snapshot
Artificial Intelligence for Investigative Reporting
inferred← citeshttps://doi.org/10.1109/icci.1993.315359openalex-snapshot
Improving efficiency of a theorem prover by eliminating redundant unifications using network structures
inferred← citeshttps://doi.org/10.1145/1670412.1670416openalex-snapshot
Programming with triggers
inferred← citeshttps://doi.org/10.1145/2003476.2003488openalex-snapshot
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption
inferred← citeshttps://doi.org/10.1145/2429069.2429105openalex-snapshot
High-level separation logic for low-level code
inferred← citeshttps://doi.org/10.1145/2480359.2429105openalex-snapshot
High-level separation logic for low-level code
inferred← citeshttps://doi.org/10.1145/3122938.3122942openalex-snapshot
Modelling the way mathematics is actually done
inferred← citeshttps://doi.org/10.1145/3371092openalex-snapshot
Liquidate your assets: reasoning about resource usage in liquid Haskell
inferred← citeshttps://doi.org/10.1145/3622758.3622895openalex-snapshot
Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
inferred← citeshttps://doi.org/10.1145/3672608.3707984openalex-snapshot
LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants
inferred← citeshttps://doi.org/10.1145/66926.66934openalex-snapshot
Incorporating hierarchy in a relational model of data
inferred← citeshttps://doi.org/10.1162/evco_a_00228openalex-snapshot
Counterexample-Driven Genetic Programming: Heuristic Program Synthesis from Formal Specifications
inferred← citeshttps://doi.org/10.1515/piko.1991.14.2.102openalex-snapshot
DV-ORGANISATION
inferred← citeshttps://doi.org/10.2168/lmcs-7(3:9)2011openalex-snapshot
Answering Non-Monotonic Queries in Relational Data Exchange
inferred← citeshttps://doi.org/10.2168/lmcs-8(2:10)2012openalex-snapshot
Dynamic Dependency Pairs for Algebraic Functional Systems
inferred← citeshttps://doi.org/10.2168/lmcs-8(2:14)2012openalex-snapshot
General Bindings and Alpha-Equivalence in Nominal Isabelle
inferred← citeshttps://doi.org/10.2514/5.9781600866098.0481.0493openalex-snapshot
Impact Of Knowledge-Based Software Engineering On Aerospace Systems
inferred← citeshttps://doi.org/10.3138/infor.48.1.023openalex-snapshot
Genetic Algorithm with Hybrid Integer Linear Programming Crossover Operators for the Car-Sequencing Problem
inferred← citeshttps://doi.org/10.3166/jancl.16.251-277openalex-snapshot
Relational dual tableaux for interval temporal logics ★
inferred← citeshttps://doi.org/10.3722/cadaps.2008.471-482openalex-snapshot
A Workbench for Geometric Constraint Solving
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.