Stem tyrolean$ (all stems)
3 papers:
- RTA-2013-AvanziniM13a #complexity
- Tyrolean Complexity Tool: Features and Usage (MA, GM), pp. 71–80.
- RTA-2009-KorpSZM #termination
- Tyrolean Termination Tool 2 (MK, CS, HZ, AM), pp. 295–304.
- RTA-2005-HirokawaM #termination
- Tyrolean Termination Tool (NH, AM), pp. 175–184.