| Automated theorem proving W Bibel Springer Science & Business Media, 2013 | 785 | 2013 |
| Setheo: A high-performance theorem prover R Letz, J Schumann, S Bayerl, W Bibel Journal of Automated Reasoning 8, 183-212, 1992 | 418 | 1992 |
| On matrices with connections W Bibel Journal of the ACM (JACM) 28 (4), 633-645, 1981 | 291 | 1981 |
| A deductive solution for plan generation W Bibel New Generation Computing 4, 115-132, 1986 | 194 | 1986 |
| Matings in matrices W Bibel Communications of the ACM 26 (11), 844-852, 1983 | 150 | 1983 |
| Wissensrepräsentation und Inferenz: eine grundlegende Einführung W Bibel, S Hölldobler, T Schaub Springer-Verlag, 2013 | 141 | 2013 |
| leanCoP: lean connection-based theorem proving J Otten, W Bibel Journal of Symbolic Computation 36 (1-2), 139-161, 2003 | 139 | 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 | 110 | 1993 |
| Constraint satisfaction from a deductive viewpoint W Bibel Artificial Intelligence 35 (3), 401-413, 1988 | 87 | 1988 |
| 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 | 85 | 2000 |
| 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 | 69 | 2013 |
| Let's plan it deductively! W Bibel Artificial Intelligence 103 (1-2), 183-208, 1998 | 68 | 1998 |
| Fundamentals of artificial intelligence: an advanced course W Bibel, P Jorrand Springer-Verlag, 1986 | 67 | 1986 |
| LOPS-a system based on a strategical approach to program synthesis W Bibel, KM Hörnig Automatic program construction techniques, 69-89, 1984 | 66 | 1984 |
| A comparative study of several proof procedures W Bibel Artificial Intelligence 18 (3), 269-293, 1982 | 64 | 1982 |
| Deduktion: Automatisierung der Logik W Bibel Walter de Gruyter GmbH & Co KG, 2020 | 63* | 2020 |
| Methods and calculi for deduction W Bibel, E Eder Verlag nicht ermittelbar, 1991 | 63 | 1991 |
| An introduction to automated deduction W Bibel, AW Biermann, JP Delgrande, G Huet, P Jorrand, J Mylopoulos, ... Fundamentals of Artificial Intelligence: An Advanced Course, 75-132, 1987 | 60 | 1987 |
| Komet W Bibel, S Brüning, U Egly, T Rath Automated Deduction—CADE-12: 12th International Conference on Automated …, 1994 | 54 | 1994 |
