Bohm-Like Trees for Rewriting

By Jeroen Ketema. 2006

72 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/7f84dedaf84fd10217715f45f30dca6900a762ef