@inproceedings{185543,
    Author = {Tiuryn, J.},
    BookTitle = {Logic in Computer Science, 1992. LICS '92., Proceedings of the Seventh Annual IEEE Symposium on},
    File = {Subtype inequalities - Tiuryn (0) (0) - a - a - b.pdf},
    Keywords = {computability;PSPACE-hard;PTIME;atomic subtype relation;atomic subtypings;nondeterministic exponential time;satisfiability problem;subtype inequalities;unification problem;Calculus;Informatics;Lattices;Polynomials;Upper bound},
    Pages = {308-315},
    Title = {Subtype inequalities},
    Year = {1992},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1992.185543},
    date-added = {2013-11-15 11:05:55 +0000},
    date-modified = {2013-11-15 11:05:55 +0000},
    doi = {10.1109/LICS.1992.185543}
}

@inproceedings{185543, Author = {Tiuryn, J.}, BookTitle = {Logic in Computer Science, 1992. LICS '92., Proceedings of the Seventh Annual IEEE Symposium on}, File = {Subtype inequalities - Tiuryn (0) (0) - a - a - b.pdf}, Keywords = {computability;PSPACE-hard;PTIME;atomic subtype relation;atomic subtypings;nondeterministic exponential time;satisfiability problem;subtype inequalities;unification problem;Calculus;Informatics;Lattices;Polynomials;Upper bound}, Pages = {308-315}, Title = {Subtype inequalities}, Year = {1992}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1992.185543}, date-added = {2013-11-15 11:05:55 +0000}, date-modified = {2013-11-15 11:05:55 +0000}, doi = {10.1109/LICS.1992.185543} }