A Superposition Decision Procedure for the Guarded Fragment with Equality.

Harald Ganzinger, Hans de Nivelle

Browse the full LICS paper archive.