Constraint satisfaction in a connectionist inference system - Hölldobler, Steffen 1957-2023; Hower, Walter (Uni Koblenz-Landau, Inst. für Informatik, 1991)