Normal Forms for Answer Sets Programming