Ordering Refinements of Resolution (1995)

by H de Nivelle