Ke-Chang Dai EDISON-80, a Language for Modular Programming of Parallel Processes. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1986, v:22, n:2, pp:61-72 [Journal]
Charles U. Martel Lower Bounds on Parallel Algorithms for Finding the First Maximal Independent Set. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1986, v:22, n:2, pp:81-85 [Journal]
Marta Cialdea Some Remarks on the Possibility of Extending Resolution Proof Procedures to Intuitionistic Logic. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1986, v:22, n:2, pp:87-90 [Journal]