Skip to content

Use Case

Functionality

Mathematical Description

Information on the use case for determining WPTT canonicity can be found in the thesis by Starr.