William H. Winsborough Multiple Specialization using Minimal-Function Graph Semantics. 259-290 1992 13 J. Log. Program. 2&3 db/journals/jlp/jlp13.html#Winsborough92