Daniel H. Fishman Jack Minker Pi-Representation: A Clause Representation for Parallel Search. 103-127 1975 6 Artif. Intell. 2 db/journals/ai/ai6.html#FishmanM75