Resolution Methods for the Decision Problem

Terminology.- Semantic clash resolution as decision procedure.- Completeness of ordering refinements.- Semantic tree based resolution variants.- Deciding the class K by an ordering refinement.- A resolution based method for building finite models.- Applications.