Term Rewriting Techniques for Systems Based on Generator Induction

Term Rewriting Techniques for Systems Based on Generator Induction

Authors
O. Lysne