Alexandre Frey. Satisfying subtype inequalities in polynomial space. Theoretical Computer Science, 277(1):105-117, April 2002.
[ Rectype ]
@article{frey2002,
Author = {Frey, Alexandre},
Title = {Satisfying subtype inequalities in polynomial space},
Journal = {Theoretical Computer Science},
Volume = {277},
Number = {1},
Pages = {105--117},
Month = {April},
Year = {2002}
}
Get EndNote Reference (.ref)