Auswertung von Logik-Programmen mit einem Message-passing-Modell - Bader, Peter (1990)