Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets