Stavros S. Cosmadakis Albert R. Meyer Jon G. Riecke Completeness for typed lazy inequalities conf/lics/LICS5 1990 conf/lics/1990 LICS 312-320 db/conf/lics/lics90.html#CosmadakisMR90 http://dx.doi.org/10.1109/LICS.1990.113757