Polite Theories Revisited.

Dejan Jovanovic, Clark W. Barrett

Browse the full LPAR paper archive.