0.5(top 50%)
impact factor
20(top 100%)
papers
297(top 50%)
citations
8(top 50%)
h-index
0.5(top 50%)
extended IF
25
all documents
330
doc citations
16(top 50%)
g-index

Top Articles

#TitleJournalYearCitations
1MJRTY—A Fast Majority Vote AlgorithmAutomated Reasoning Series1991122
2What Are the Limitations of the Situation Calculus?Automated Reasoning Series199152
3Similarity, Uncertainty and Case-Based Reasoning in PatdexAutomated Reasoning Series199135
4How the Brain Adjusts Synapses—MaybeAutomated Reasoning Series199122
5METEORs: High Performance Theorem Provers using Model EliminationAutomated Reasoning Series199116
6Formal and Informal ProofsAutomated Reasoning Series199113
7Resolution Proof SystemsAutomated Reasoning Series199612
8Reasoning in Paraconsistent LogicsAutomated Reasoning Series199112
9Automated ReasoningAutomated Reasoning Series199111
10Perspectives on Automated DeductionAutomated Reasoning Series19919
11Automated Reasoning and Bledsoe’s Dream for the FieldAutomated Reasoning Series19918
12The Use of Proof Plans for NormalizationAutomated Reasoning Series19918
13A Biographical Sketch of W. W. BledsoeAutomated Reasoning Series19912
14The Metatheorist: Automatic Proofs of Theorems in Analysis Using Non-Standard Techniques, Part IIAutomated Reasoning Series19912
15Compiling Recursive Functional Prolog Programs with List Structure into Procedural LanguagesAutomated Reasoning Series19911
16Aligning Multiple RNA SequencesAutomated Reasoning Series19910
17Nonmonotonic Resolution Inference SystemsAutomated Reasoning Series19960
18Logical PreliminariesAutomated Reasoning Series19960
19Propositional Resolution LogicsAutomated Reasoning Series19960
20First-Order Resolution Proof SystemsAutomated Reasoning Series19960