Termination Analysis: Crossing Paradigm Borders (Terminatie analyse: het doorbreken van de paradigmagrenzen)