S (2008) Automatic construction and verification of isotopy invariants (0)

by V Sorge, A Meier, R McCasland, Colton
Venue:J Autom Reason