Nivelle. Ordering refinements of resolution (1994)

by H de