Theory revision with queries : results and problems