| 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 | 244 | 1994 |
| Matrix interpretations for proving termination of term rewriting J Endrullis, J Waldmann, H Zantema Journal of automated reasoning 40 (2-3), 195, 2008 | 199 | 2008 |
| Basic process algebra with iteration: Completeness of its equational axioms W Fokkink, H Zantema The Computer Journal 37 (4), 259-267, 1994 | 91 | 1994 |
| Finding small equivalent decision trees is hard H Zantema, HL Bodlaender Utrecht University: Information and Computing Sciences, 1999 | 90 | 1999 |
| Termination H Zantema Term Rewriting Systems, 181-259, 2003 | 81 | 2003 |
| Termination of context-sensitive rewriting H Zantema Rewriting Techniques and Applications: 8th International Conference, RTA-97 …, 1997 | 80 | 1997 |
| Simple termination of rewrite systems A Middeldorp, H Zantema Theoretical Computer Science 175 (1), 127-158, 1997 | 75 | 1997 |
| Integer valued polynomials over a number field H Zantema manuscripta mathematica 40, 155-203, 1982 | 70 | 1982 |
| Termination of string rewriting proved automatically H Zantema Journal of Automated Reasoning 34 (2), 105-140, 2005 | 63 | 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 | 59 | 2007 |
| The termination competition C Marché, H Zantema Term Rewriting and Applications: 18th International Conference, RTA 2007 …, 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 | 55 | 2003 |
| Transforming termination by self-labelling A Middeldorp, H Ohsaki, H Zantema CADE, 373-387, 1996 | 54 | 1996 |
| Dummy elimination: making termination easier MCF Ferreira, H Zantema Fundamentals of Computation Theory: 10th International Conference, FCT'95 …, 1995 | 53 | 1995 |
| Termination of logic programs using semantic unification T Arts, H Zantema Logic Program Synthesis and Transformation: 5th International Workshop …, 1996 | 51 | 1996 |
| 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 Conditional Term Rewriting Systems: Third International Workshop, CTRS-92 …, 1993 | 44 | 1993 |
| 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 | 39 | 1993 |
