Stem superdevelop$ (all stems)
2 papers:
CSL-1998-KhasidashviliP #normalisation- Normalization of Typable Terms by Superdevelopments (ZK, AP), pp. 260–282.
RTA-1993-Raamsdonk #confluence- Confluence and Superdevelopments (FvR), pp. 168–182.
CSL-1998-KhasidashviliP #normalisation
RTA-1993-Raamsdonk #confluence