Paramodulated Connection Graphs. - Norbert Eisinger; Jörg H. Siekmann; Graham Wrightson (AISB/GI (ECAI), 1978)

Das Karlsruher Beweissystem. - Norbert Eisinger; Jörg H. Siekmann; Gert Smolka; E. Unvericht; Christoph Walther (GI Jahrestagung, 1980)

The Markgraf Karl Refutation Procedure. - Karl-Hans Bläsius; Norbert Eisinger; Jörg H. Siekmann; Gert Smolka; Alexander Herold; Christoph Walther (IJCAI, 1981)

Subsumption And Connection Graphs. - Norbert Eisinger (IJCAI, 1981)

Subsumption and Connectionsgraphs. - Norbert Eisinger (GWAI, 1981)

Logic Programming: A Parallel Approach. - Norbert Eisinger; Simon Kasif; Jack Minker (ICLP, 1982)

A Technical Note on Splitting and Clausal Normal Form Algorithms. - Norbert Eisinger; M. Weigele (GWAI, 1983)

What You Always Wanted to Know About Clause Graph Resolution. - Norbert Eisinger (CADE, 1986)

The Markgraf Karl Refutation Procedure (MKRP). - Norbert Eisinger; Hans Jürgen Ohlbach (CADE, 1986)

Completeness, confluence, and related properties of clause graph resolution. - Norbert Eisinger (1988)

A Note on the Completeness of Resolution with Self-Resolution. - Norbert Eisinger (Inf. Process. Lett., 1989)

Reduction Rules for Resolution-Based Systems. - Norbert Eisinger; Hans Jürgen Ohlbach; Axel Präcklein (Artif. Intell., 1991)

4. Internationaler GI-Kongreß Wissensbasierte Systeme. - Siegfried Bocionek; Norbert Eisinger; Gunnar Teege (Künstliche Intell., 1992)

The theorem prover SATCHMO : strategies, heuristics and applications. - Slim Abdennadher; François Bry; Norbert Eisinger; Tim Geisler (JFPLC, 1995)

The Tableau Browser SNARKS. - Mathias Kettner; Norbert Eisinger (CADE, 1997)

SNARKS: A Browser for Tableaux Derivations. - Mathias Kettner; Norbert Eisinger (LPE, 1997)

Logic Implemented Functionally. - Norbert Eisinger; Tim Geisler; Sven Panne (PLILP, 1997)

Der Tableau-Browser SNARKS (system description). - Mathias Kettner; Norbert Eisinger (WLP, 1997)

SIC: Satisfiability Checking for Integrity Constraints. - François Bry; Norbert Eisinger; Heribert Schütz; Sunna Torge 001 (DDLP, 1998)

A Confluent Connection Calculus. - Peter Baumgartner 001; Norbert Eisinger; Ulrich Furbach (Intellectics and Computational Logic, 2000)

Web Services for Teaching: A Case Study. - François Bry; Norbert Eisinger; Georg Schneemayer (ICWS, 2003)

Foundations of Rule-Based Query Answering. - François Bry; Norbert Eisinger; Thomas Eiter; Tim Furche; Georg Gottlob; Clemens Ley; Benedikt Linse; Reinhard Pichler; Fang Wei 001 (Reasoning Web, 2007)

Search for More Declarativity. - Simon Brodt; François Bry; Norbert Eisinger (RR, 2009)