Effizienzvergleiche von Beweisprozeduren. - Wolfgang Bibel (GI Jahrestagung, 1974)

An approach to a systematic theorem proving procedure in first-order logic. - Wolfgang Bibel (Computing, 1974)

Prädikatives Programmieren. - Wolfgang Bibel (Automata Theory and Formal Languages, 1975)

Artificial Intelligence in Western Europe. - Jacques Pitrat; Erik Sandewall; Wolfgang Bibel; Gérard P. Huet; Hans-Hellmut Nagel; M. Somalivco (IJCAI, 1977)

A syntactic connection between proof procedures and refutation prcedures. - Wolfgang Bibel (Theoretical Computer Science, 1977)

On Strategies for the Systhesis of Algorithms. - Wolfgang Bibel (AISB/GI (ECAI), 1978)

Strategies for the synthesis of algorithms. - Wolfgang Bibel; Ulrich Furbach; Joachim F. Schreiber (Fachtagung über Programmiersprachen, 1978)

On Syntax-Directed, Semantics-Supported Program Synthesis. - Wolfgang Bibel (IJCAI, 1979)

Tautology Testing with a Generalized Matrix Reduction Method. - Wolfgang Bibel (Theor. Comput. Sci., 1979)

A Theoretical Basis for the Systematic Proof Method. - Wolfgang Bibel (MFCS, 1980)

Mating in Matrices. - Wolfgang Bibel (GWAI, 1981)

On the Completeness of Connection Graph Resolution. - Wolfgang Bibel (GWAI, 1981)

On Matrices with Connections. - Wolfgang Bibel (J. ACM, 1981)

Automated theorem proving. - Wolfgang Bibel (Vieweg, 1982)

Improvements of a Tautology-Testing Algorithm. - K. M. Hörnig; Wolfgang Bibel (CADE, 1982)

Deduktionsverfahren. - Wolfgang Bibel (KIFS, 1982)

A Comparative Study of Several Proof Procedures. - Wolfgang Bibel (Artif. Intell., 1982)

Towards an Advanced Implementation of the Connection Method. - Wolfgang Bibel; Elmar Eder; Bertram Fronhöfer (IJCAI, 1983)

Matings in Matrices. - Wolfgang Bibel (Commun. ACM, 1983)

Artificial Intelligence in Europe. - Wolfgang Bibel (AIMSA, 1984)

Inferenzmethoden. - Wolfgang Bibel (KIFS, 1984)

Logic and algebraic computation. - Wolfgang Bibel (SIGSAM Bull., 1984)

Methods of Automated Reasoning. - Wolfgang Bibel (Advanced Course: Fundamentals of Artificial Intelligence, 1985)

Predicative programming revisited. - Wolfgang Bibel (Mathematical Methods of Specification and Synthesis of Software Systems, 1985)

A Deductive Solution for Plan Generation. - Wolfgang Bibel (Foundations of Knowledge Base Management (Xania), 1985)

The Role of Logic for Data and Knowledge Bases: A Brief Summary. - Wolfgang Bibel; Jean-Marie Nicolas 001 (Foundations of Knowledge Base Management (Xania), 1985)

Wissensbasierte Software-Entwicklung. - Wolfgang Bibel (Wissensbasierte Systeme, 1985)

Towards a connection machine for logical inference. - Wolfgang Bibel; Bruno Buchberger (Future Gener. Comput. Syst., 1985)

Automated Inferencing. - Wolfgang Bibel (J. Symb. Comput., 1985)

A Bibliography on Parallel Inference Machines. - Wolfgang Bibel; K. Aspetsberger (J. Symb. Comput., 1985)

Parallel Inference Machines. - Wolfgang Bibel; Franz J. Kurfess; K. Aspetsberger; Peter Hintenaus; Johann Schumann (Future Parallel Computers, 1986)

Fundamentals of artificial intelligence - an advanced course. - Wolfgang Bibel (Springer, 1987)

Automated theorem proving, 2nd Edition. - Wolfgang Bibel (Vieweg, 1987)

Advanced Topics in Automated Deduction. - Wolfgang Bibel (Advanced Topics in Artificial Intelligence, 1987)

Parallel Inference Machines (Panel). - Wolfgang Bibel (IJCAI, 1987)

ECCAI and the European Malaise. - Wolfgang Bibel (AI Commun., 1987)

Constraint Satisfaction from a Deductive Viewpoint. - Wolfgang Bibel (Artif. Intell., 1988)

A Framework for the Parallel Evaluation of Recursive Queries in Deductive Databases. - Runping Qi; Wolfgang Bibel (DASFAA, 1989)

Plan Generation by Linear Proofs: On Semantics. - Wolfgang Bibel; Luis Fariñas del Cerro; Bertram Fronhöfer; Andreas Herzig (GWAI, 1989)

The Technological Change of Reality: Opportunities and Dangers. - Wolfgang Bibel (AI Soc., 1989)

Perspectives on Automated Deduction (Abstract). - Wolfgang Bibel (CADE, 1990)

Short Proofs of the Pigeonhole Formulas Based on the Connection Method. - Wolfgang Bibel (J. Autom. Reason., 1990)

Perspectives on Automated Deduction. - Wolfgang Bibel (Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991)

Die Fehl-Sprüche sozialorientierter Autoren. - Wolfgang Bibel (Künstliche Intell., 1991)

Deduktion - Automatisierung und Logik. - Wolfgang Bibel (Oldenbourg, 1992)

Cycle Unification. - Wolfgang Bibel; Steffen Hölldobler; Jörg Würtz (CADE, 1992)

SETHEO: A High-Performance Theorem Prover. - Reinhold Letz; Johann Schumann; Stefan Bayerl; Wolfgang Bibel (J. Autom. Reason., 1992)

DFG-Schwerpunkprogramm Deduktion. - Wolfgang Bibel (Künstliche Intell., 1992)

Logik, KI und Intellektik. - Wolfgang Bibel; Ulrich Furbach (Künstliche Intell., 1992)

Wissensrepräsentation und Inferenz - eine grundlegende Einführung. - Wolfgang Bibel; Steffen Hölldobler; Torsten Schaub (Vieweg, 1993)

Deduction - automated logic. - Wolfgang Bibel (Academic Press, 1993)

Können Computer logisch denken? Reflektionen über die IJCAI-93 in Chambéry. - Wolfgang Bibel (Künstliche Intell., 1993)

Deductive Plan Generation. - Wolfgang Bibel; Michael Thielscher (AII/ALT, 1994)

KoMeT. - Wolfgang Bibel; Stefan Brüning; Uwe Egly; Thomas Rath (CADE, 1994)

Informatik und Intellektik als zukünftiges Zwiegespann. - Wolfgang Bibel; Jörg H. Siekmann (Künstliche Intell., 1994)

Issues in Theorem Proving Based on the Connection Method. - Wolfgang Bibel; Stefan Brüning; Uwe Egly; Daniel S. Korn; Thomas Rath (TABLEAUX, 1995)

Problem-Oriented Applications of Automated Theorem Proving. - Wolfgang Bibel; Daniel S. Korn; Christoph Kreitz; Stephen Schmitt (DISCO, 1996)

Deduction as a Cross-Sectional Technology: The DFG Focus Programme on Deduction. - Wolfgang Bibel (GI Jahrestagung, 1997)

Let's Plan It Deductively! - Wolfgang Bibel (IJCAI, 1997)

A Multi-level Approach to Program Synthesis. - Wolfgang Bibel; Daniel S. Korn; Christoph Kreitz; F. Kurucz; Jens Otten; Stephen Schmitt; G. Stolpmann (LOPSTR, 1997)

Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution. - Wolfgang Bibel; Elmar Eder (J. ACM, 1997)

Reduction of cycle unification of type Cpg+r. - Yunfa Hu; Wolfgang Bibel (J. Comput. Sci. Technol., 1998)

DFG-Schwerpunktprogramm "Deduktion". - Wolfgang Bibel (Künstliche Intell., 1998)

Foreword to the Special Issue on Schemas. - Pierre Flener; Kung-Kiu Lau; Wolfgang Bibel (J. Symb. Comput., 2000)

Path Planning for Cooperating Robots Using a GA-Fuzzy Approach. - Dilip Kumar Pratihar; Wolfgang Bibel (Advances in Plan-Based Control of Robotic Agents, 2001)

Ein Vierteljahrhundert Künstliche Intelligenz in Deutschland. - Wolfgang Bibel (Künstliche Intell., 2002)

Bedeutung / Ursprünge der Intellektik. - Wolfgang Bibel (Künstliche Intell., 2002)

Solving Constraint Optimization Problems from CLP-Style Specifications Using Heuristic Search Techniques. - Pallab Dasgupta; P. P. Chakrabarti 001; Arnab Dey; Sujoy Ghose; Wolfgang Bibel (IEEE Trans. Knowl. Data Eng., 2002)

Lehren vom Leben - Essays über Mensch und Gesellschaft. - Wolfgang Bibel (DUV, 2003)

leanCoP: lean connection-based theorem proving. - Jens Otten; Wolfgang Bibel (J. Symb. Comput., 2003)

AI and the Conquest of Complexity in Law. - L. Wolfgang Bibel (Artif. Intell. Law, 2004)

Time for Thinking Big in AI. - Wolfgang Bibel (Mechanizing Mathematical Reasoning, 2005)

Research Perspectives for Logic and Deduction. - Wolfgang Bibel (Reasoning, Action and Interaction in AI Theories and Systems, 2006)

Towards the AI Summer. - Wolfgang Bibel (KI, 2006)

The Beginnings of AI in Germany. - Wolfgang Bibel (Künstliche Intell., 2006)

Visionen künstlicher Intelligenz. - Wolfgang Bibel; Josef Schneeberger (Künstliche Intell., 2006)

Early History and Perspectives of Automated Deduction. - Wolfgang Bibel (KI, 2007)

Transition Logic Revisited. - Wolfgang Bibel (Log. J. IGPL, 2008)

Über ein Fach ohne Namen und Struktur. - Wolfgang Bibel (Künstliche Intell., 2008)

Richtigstellungen und Antworten zum Diskussionsbeitrag. - Wolfgang Bibel (Künstliche Intell., 2008)

Sind wir so schlau, wie wir denken? - Wolfgang Bibel (Künstliche Intell., 2008)

Connection method. - Wolfgang Bibel; Christoph Kreitz (Scholarpedia, 2009)

Specifying and Verifying Organizational Security Properties in First-Order Logic. - Christoph Brandt; Jens Otten; Christoph Kreitz; Wolfgang Bibel (Verification, Induction, Termination Analysis, 2010)

General Aspects of Intelligent Autonomous Systems. - Wolfgang Bibel (Intelligent Autonomous Systems, 2010)

KI ohne Geist. - Wolfgang Bibel (Künstliche Intell., 2011)

Artificial Intelligence in a historical perspective. - Wolfgang Bibel (AI Commun., 2014)

Mind the Divide Surrounding Knowledge Representation. - Wolfgang Bibel (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015)

In Memory of Mark Stickel. - Peter Baumgartner 001; Wolfgang Bibel; Richard Waldinger (J. Autom. Reason., 2016)

Reflexionen vor Reflexen - Memoiren eines Forschers. - Wolfgang Bibel (Cuvillier, 2017)

Advances in Connection-Based Automated Theorem Proving. - Jens Otten; Wolfgang Bibel (Provably Correct Systems, 2017)

A Vision for Automated Deduction Rooted in the Connection Method. - Wolfgang Bibel (TABLEAUX, 2017)

On a Scientific Discipline (Once) Named AI. - Wolfgang Bibel (IJCAI, 2018)

Laßt hundert Blumen blühen. - Wolfgang Bibel (GI-Jahrestagung, 2020)

On the Development of AI in Germany. - Wolfgang Bibel (Künstliche Intell., 2020)

Formation of a Research Discipline Artificial Intelligence and Intellectics at the Technical University of Munich. - Wolfgang Bibel; Ulrich Furbach (Künstliche Intell., 2020)

Learning from Łukasiewicz and Meredith: Investigations into Proof Structures. - Christoph Wernhard; Wolfgang Bibel (CADE, 2021)

Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version). - Christoph Wernhard; Wolfgang Bibel (CoRR, 2021)

Komputer kreiert Wissenschaft. - Wolfgang Bibel (Inform. Spektrum, 2022)

Comparison of Proof Methods. - Wolfgang Bibel (AReCCa@TABLEAUX, 2023)

Lemmas: Generation, Selection, Application. - Michael Rawson 001; Christoph Wernhard; Zsolt Zombori; Wolfgang Bibel (TABLEAUX, 2023)

A Conjecture for ATP Research. - Wolfgang Bibel (CoRR, 2024)

Investigations into Proof Structures. - Christoph Wernhard; Wolfgang Bibel (J. Autom. Reason., 2024)