Towards average complexity of propositional binary Prolog programs - Kleine Büning, Hans 1948-; Löwen, Ulrich (1988)