A First Order Resolution Calculus with Symmetries.

Uwe Egly

Browse the full LPAR paper archive.