Urs Zolliker

• A parallel resolution method for logic programs