Automated Handling of Anaphoric Ambiguity in Requirements: A Multi-solution Study