Jérôme Lang Pierre Marquis Removing Inconsistencies in Assumption-based Theories Through Knowledge-Gathering Actions. 179-214 2001 67 Studia Logica 2 db/journals/sLogica/sLogica67.html#LangM01