Incremental maintenance of overgrounded logic programs with tailored simplifications

Open in new window