A parallel resolution method for logic programs. - Urs Zolliker (1993)