A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.

Yevgeny Kazakov, Hans de Nivelle

Browse the full CADE paper archive.