A Truth Maintenance System Based on Stable Models