Expressing p-stable semantics based on stable semantics | IEEE Conference Publication | IEEE Xplore