Yoav Zibin Joseph Gil Efficient Subtyping Tests with PQ-Encoding. 96-107 2001 OOPSLA db/conf/oopsla/oopsla2001.html#ZibinG01