Completeness for typed lazy inequalities

Stavros S. Cosmadakis, Albert R. Meyer, Jon G. Riecke

Browse the full LICS paper archive.