Return to Article Details NON-DETERMINISTIC HYPERIDENTITIES IN MANY-SORTED ALGEBRAS Download Download PDF