Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance.

Fajar Haifani, Sophie Tourret, Christoph Weidenbach

Browse the full CADE paper archive.