A New Method for Computing Stable Models in Logic Programming | IEEE Conference Publication | IEEE Xplore