@misc{indiciae651387a90c42,
  title = {Subtyping for F-Bounded Quantifiers and Equirecursive Types (Extended Version)},
  author = {Neal Glew},
  year = {2012},
  url = {https://arxiv.org/abs/1202.2486},
  note = {Source identifier: 1202.2486}
}