Decision Problems in Ordered Rewriting (1997)

by Hubert Comon , Paliath Narendran , Robert Nieuwenhuis , Michael Rusinowitch
Venue:In 13th IEEE Symposium on Logic in Computer Science (LICS
Citations:16 - 7 self