Extracting information from resolution proof trees
scientific article