| Termination of term rewriting by semantic labelling H Zantema Fundamenta Informaticae 24 (1-2), 89-105, 1995 | 255 | 1995 |
| Termination of term rewriting: interpretation and type elimination H Zantema Journal of Symbolic Computation 17 (1), 23-50, 1994 | 246 | 1994 |
| Matrix interpretations for proving termination of term rewriting J Endrullis, J Waldmann, H Zantema Journal of Automated Reasoning 40, 195-220, 2008 | 202 | 2008 |
| Basic process algebra with iteration: Completeness of its equational axioms W Fokkink, H Zantema The Computer Journal 37 (4), 259-267, 1994 | 92 | 1994 |
| Finding small equivalent decision trees is hard H Zantema, HL Bodlaender Utrecht University: Information and Computing Sciences, 1999 | 89 | 1999 |
| Termination H Zantema Term Rewriting Systems, 181-259, 2003 | 82 | 2003 |
| Termination of context-sensitive rewriting H Zantema Rewriting Techniques and Applications: 8th International Conference, RTA-97 …, 1997 | 81 | 1997 |
| Simple termination of rewrite systems A Middeldorp, H Zantema Theoretical Computer Science 175 (1), 127-158, 1997 | 80 | 1997 |
| Integer valued polynomials over a number field H Zantema manuscripta mathematica 40, 155-203, 1982 | 75 | 1982 |
| Termination of string rewriting proved automatically H Zantema Journal of Automated Reasoning 34, 105-139, 2005 | 64 | 2005 |
| On tree automata that certify termination of left-linear term rewriting systems A Geser, D Hofbauer, J Waldmann, H Zantema Information and Computation 205 (4), 512-534, 2007 | 58 | 2007 |
| The termination competition C Marché, H Zantema International Conference on Rewriting Techniques and Applications, 303-313, 2007 | 57 | 2007 |
| Resolution and binary decision diagrams cannot simulate each other polynomially JF Groote, H Zantema Discrete Applied Mathematics 130 (2), 157-171, 2003 | 57 | 2003 |
| Dummy elimination: making termination easier MCF Ferreira, H Zantema Fundamentals of Computation Theory: 10th International Conference, FCT'95 …, 1995 | 54 | 1995 |
| Transforming termination by self-labelling A Middeldorp, H Ohsaki, H Zantema Automated Deduction—Cade-13: 13th International Conference on Automated …, 1996 | 53 | 1996 |
| Termination of logic programs using semantic unification T Arts, H Zantema International Workshop on Logic Programming Synthesis and Transformation …, 1995 | 53 | 1995 |
| Matrix interpretations for proving termination of term rewriting J Endrullis, J Waldmann, H Zantema Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006 | 47 | 2006 |
| Termination of term rewriting by interpretation H Zantema International Workshop on Conditional Term Rewriting Systems, 155-167, 1992 | 46 | 1992 |
| Well-foundedness of term orderings MCF Ferreira, H Zantema Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 …, 1995 | 41 | 1995 |
| Total termination of term rewriting MCF Ferreira, H Zantema Rewriting Techniques and Applications: 5th International Conference, RTA-93 …, 1993 | 40 | 1993 |
