Computing stable semantics of AF by 0–1 integer programming | IEEE Conference Publication | IEEE Xplore