Friedrich Otto On Deciding the Confluence of a Finite String-Rewriting System on a Given Congruence Class. [Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 1987, v:35, n:3, pp:285-310 [Journal]
Nicole Bidoit The Verso Algebra or How to Answer Queries with Fewer Joins. [Citation Graph (7, 0)][DBLP] J. Comput. Syst. Sci., 1987, v:35, n:3, pp:321-364 [Journal]