Variant Construction from Theoretical Foundation to Applications