An Undecidability Result for Relation Algebras. - Wolfgang Schönfeld (J. Symb. Log., 1979)

Gleichungen in der Algebra der binären Relationen. - Wolfgang Schönfeld (Minerva-Publikation, 1981)

Upper Bounds for Proof-Search in a Sequent Calculus for Relational Equations. - Wolfgang Schönfeld (Math. Log. Q., 1982)

Proof Search for Unprovable Formulas. - Wolfgang Schönfeld (GWAI, 1983)

Prolog Extensions Based on Tableau Calculus. - Wolfgang Schönfeld (IJCAI, 1985)

Ein juristisches Expertensystem mit natürlichsprachlichem Dialog - Ein Projektbericht. - Albrecht Blaser; Brigitte Alschwee; Hein Lehmann; Hubert Lehmann; Wolfgang Schönfeld (Wissensbasierte Systeme, 1985)

A Theory for the Representation of Knowledge. - Franz Guenthner; Hubert Lehmann; Wolfgang Schönfeld (IBM J. Res. Dev., 1986)

Interfacing a Logic Machine. - Wolfgang Schönfeld (CSL, 1987)

Anforderung der Logik-Programmierung an die Wissensrepräsentation. - Wolfgang Schönfeld (Wissensrepräsentation in Expertensystemen, 1987)

Integration of Descriptive and Procedural Language Constructs. - Wolfgang Schönfeld; Werner Stephan (CSL, 1988)

Properties and Actions. - Wolfgang Schönfeld (Natural Language and Logic, 1989)

ILFA Interface Concept - Bernd I. Dahn; Theodor Lettmann; Wolfgang Schönfeld (IWBS Report, 1991)

Interacting Abstract State Machines. - Wolfgang Schönfeld (Workshop on Abstract State Machines, 1998)

A Testbed for Mobile Multimedia Applications. - Wolfgang Schönfeld; Jörg Pommnitz (Multim. Tools Appl., 1999)

A Framework for Group Integrity Management in Multimedia Multicasting. - Andreas Meissner; Lars C. Wolf; Wolfgang Schönfeld; Ralf Steinmetz (EUROMICRO, 2001)

Data Communication Between the German NBC Reconnaissance Vehicle and Its Control Center Unit. - Andreas Meissner; Wolfgang Schönfeld (From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments, 2005)