- <news class="alpha" date="2013 July 27.">
- Reaxiomatized β-reductum as in rt-reduction.
- </news>
- <news class="alpha" date="2013 July 20.">
- Context-sensitive strong rt-normalization
- for simply typed terms.
- </news>
- <news class="alpha" date="2013 April 16.">
- Reaxiomatized substitution and reduction
- commute with respect to subclosure