Programs under Answer Set Semantics -- Propositional Satisfiability and Quantified