Incremental ASP solver