"Efficient Subtyping Tests with PQ-Encoding."

Yoav Zibin, Joseph Gil (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics