John H. Reif Minimum s-t Cut of a Planar Undirected Network in O(n log²(n)) Time. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1983, v:12, n:1, pp:71-81 [Journal]
Gerald E. Peterson A Technique for Establishing Completeness Results in Theorem Proving with Equality. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1983, v:12, n:1, pp:82-100 [Journal]
Hans F. de Groote Characterization of Division Algebras of Minimal Rank and the Structure of Their Algorithm Varieties. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1983, v:12, n:1, pp:101-117 [Journal]
Dan Gusfield Simple Construction for Multi-Terminal Network Flow Synthesis. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1983, v:12, n:1, pp:157-165 [Journal]
Arthur C. Fleck, R. S. Limaye Formal Semantics and Abstract Properties of String Pattern Operations and Extended Formal Language Description Mechanisms. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1983, v:12, n:1, pp:166-188 [Journal]