Resolution algorithms in a parallel processing environment - Hencken, Paula B. (1984)
Kopie, erschienen im Verl. Univ. Microfilms Internat., Ann Arbor, Mich. - Kalamazoo, Mich., Western Michigan Univ.