Updates in answer set programming: An approach based on basic structural properties. - Mauricio Osorio 001; Víctor Cuevas (Theory Pract. Log. Program., 2007)