Abstract Resolution

Abstract Resolution