| Original language | English |
|---|---|
| Title of host publication | Proceedings 6th Benelux Workshop on Logic Programming (Benelog'94, Amsterdam, The Netherlands, September 2, 1994) |
| Publication status | Published - 1994 |
Heuristics for proving termination using rewriting
M.G.J. Arts, H. Zantema
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic