Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report