Sven Skyum A Measure in Which Boolean Negation is Exponentially Powerful. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1983, v:17, n:3, pp:125-128 [Journal]
Ali Mili Verifying Programs by Induction on Their Data Structure: General Format and Applications. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1983, v:17, n:3, pp:155-160 [Journal]
Piotr Wyrostek On the `Correct Prefix Property' in Precedence Parsers. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1983, v:17, n:3, pp:161-165 [Journal]
Zhi-Jie Zheng The Duodirun Merging Algorithm: A New Fast Algorithm for Parallel Merging. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1983, v:17, n:3, pp:167-168 [Journal]