Path Rewriting and Combined Word Problems (2000)

by Camillo Fiorentini , Silvio Ghilardi
Citations:1 - 0 self