@inproceedings{ZibinG01,
  title = {Efficient Subtyping Tests with PQ-Encoding},
  author = {Yoav Zibin and Joseph Gil},
  year = {2001},
  tags = {testing, subtyping},
  researchr = {https://researchr.org/publication/ZibinG01},
  cites = {0},
  citedby = {0},
  pages = {96-107},
  booktitle = {OOPSLA},
}