A proof order for decreasing diagrams -- Interpreting conversions in involutive monoids (2012)

Cached

Download Links

by Vincent van Oostrom