Erik Palmgren An Information System Interpretation of Martin-L\"of's Partial Type Theory with Universes [Citation Graph (0, 0)][DBLP] Inf. Comput., 1993, v:106, n:1, pp:26-60 [Journal]
Christian Choffrut On the Starheight of Some Rational Subsets Closed under Partial Commutations [Citation Graph (0, 0)][DBLP] Inf. Comput., 1993, v:106, n:1, pp:61-82 [Journal]