Reasoning and Rewriting with Set-Relations I: Ground Completeness.

Valentinas Kriauciukas, Michal Walicki

Browse the full CSL paper archive.