Global Subsumption Revisited (Briefly).

Giles Reger, Martin Suda

Browse the full CADE paper archive.