In: Rundbrief des Fachausschusses 1.2 Künstliche Intelligenz und Mustererkennung der GI, Heft 43, pages 32-38. 1986. In German.
Abstract: Es wird anhand eines Beispiels eine linear-algebraische Entsprechung der Resolutionsmethode zur Ableitung logischer Schlüsse vorgestellt. Als Grundlage dazu dienen Petri-Netze und ihre Inzidenzmatrizen.