The View-Update Problem for Indefinite Databases
the stable model semantics for logic programming .