Vorobyov, Sergei Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-98-2-009.pdf (Any fulltext), 453KB
Vorobyov, S.(1998). The undecidability of the first-order theories of one step rewriting in linear canonical systems (MPI-I-1998-2-009). Saarbrücken: Max-Planck-Institut für Informatik.