Heuristics for Refinement Relations.

Florian Kammller, Jeff W. Sanders

Browse the full SEFM paper archive.