| Automated theorem proving W Bibel Springer Science & Business Media, 2013 | 819 | 2013 |
| Setheo: A high-performance theorem prover R Letz, J Schumann, S Bayerl, W Bibel Journal of Automated Reasoning 8, 183-212, 1992 | 421 | 1992 |
| Das Rechnende Gehirn W Bibel, W von Hahn, R Kruse | 331 | 1997 |
| On matrices with connections W Bibel Journal of the ACM (JACM) 28 (4), 633-645, 1981 | 293 | 1981 |
| A deductive solution for plan generation W Bibel New Generation Computing 4, 115-132, 1986 | 199 | 1986 |
| Matings in matrices W Bibel Communications of the ACM 26 (11), 844-852, 1983 | 158 | 1983 |
| Wissensrepräsentation und Inferenz: eine grundlegende Einführung W Bibel, S Hölldobler, T Schaub Springer-Verlag, 2013 | 146 | 2013 |
| leanCoP: lean connection-based theorem proving J Otten, W Bibel Journal of Symbolic Computation 36 (1-2), 139-161, 2003 | 145 | 2003 |
| Syntax-directed, semantics-supported program synthesis W Bibel Artificial Intelligence 14 (3), 243-261, 1980 | 119 | 1980 |
| Deduction: automated logic W Bibel, S Hölldobler, G Neugebauer Academic Press, 1993 | 117 | 1993 |
| AI's greatest trends and controversies HA Simon, W Bibel, A Bundy, H Berliner, EA Feigenbaum, BG Buchanan, ... IEEE Intelligent Systems and Their Applications 15 (1), 8-17, 2000 | 90 | 2000 |
| Constraint satisfaction from a deductive viewpoint W Bibel Artificial Intelligence 35 (3), 401-413, 1988 | 89 | 1988 |
| Automated Deduction-A Basis for Applications Volume I Foundations-Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications W Bibel, PH Schmitt Springer Science & Business Media, 2013 | 74 | 2013 |
| Let's plan it deductively! W Bibel Artificial Intelligence 103 (1-2), 183-208, 1998 | 72 | 1998 |
| Fundamentals of artificial intelligence: an advanced course W Bibel, P Jorrand Springer-Verlag, 1986 | 71 | 1986 |
| Methods and calculi for deduction W Bibel, E Eder Verlag nicht ermittelbar, 1991 | 68 | 1991 |
| LOPS-a system based on a strategical approach to program synthesis W Bibel, KM Hörnig Automatic program construction techniques, 69-89, 1984 | 68 | 1984 |
| A comparative study of several proof procedures W Bibel Artificial Intelligence 18 (3), 269-293, 1982 | 65 | 1982 |
| Deduktion: Automatisierung der Logik W Bibel Walter de Gruyter GmbH & Co KG, 2020 | 63* | 2020 |
| Artificial Intelligence in a historical perspective W Bibel AI Communications 27 (1), 87-102, 2014 | 62 | 2014 |
