Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness.

Valentinas Kriauciukas, Michal Walicki

Browse the full COMPASS paper archive.