Vampire 1.1 (System Description)

Skip lists: a probabilistic alternative to balanced trees

William Pugh · Communications of the ACM · 1990 · 1.2K citations · Full text

Engineering, Data Science, Data Mining +10

Splitting without backtracking

Alexandre Riazanov, Андрей Воронков · Research Explorer (The University of Manchester) · 2001 · 64 citations

System Description: Spass Version 1.0.0

Christoph Weidenbach · Lecture notes in computer science · 1999 · 63 citations

Light-weight Linux Distribution, System Description, Software Versioning +1

WALDMEISTER - High-Performance Equational Deduction

Thomas Hillenbrand, Arnim Buch, Roland Vogt et al. · Journal of Automated Reasoning · 1997 · 56 citations