William H. Winsborough Path-Dependent Reachability Analysis for Multiple Specialization. 133-153 1989 NACLP db/conf/slp/slp89.html#Winsborough89