 <a href="http://cissun51.cis.nctu.edu.tw/~wuuyang">Yang, W.</a>, <a name="yang_thesis">A new algorithm for semantics-based program integration</a>. Ph.D. dissertation and Tech. Rep. TR-962, Computer Sciences Department, University of Wisconsin, Madison, WI, August 1990. (Click <A HREF="http://www.cs.wisc.edu/Dienst/UI/2.0/Describe/ncstrl.uwmadison%2fCS-TR-90-962">here</A> to access paper.) </ul>
