Nancy A. Lynch Straight-Line Program Length as a Parameter for Complexity Analysis. [Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 1980, v:21, n:3, pp:251-280 [Journal]
G. Naudé A Duality Theory for Decomposable Systems in a Category. [Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 1980, v:21, n:3, pp:281-291 [Journal]
Harry R. Lewis Complexity Results for Classes of Quantificational Formulas. [Citation Graph (1, 0)][DBLP] J. Comput. Syst. Sci., 1980, v:21, n:3, pp:317-353 [Journal]