Case analysis of higher-order data (0)

by J Dunfield, B Pientka
Venue:Electr. Notes in Theor. Comp. Sci