comptheory: variants of tm