ARC: An extended ATMS based on directed CAT-correct resolution