Kung, C.-H.

Kung, C.-H. has 1 paper(s) in the AIS Basket corpus on Otero.

1. High parallelism and a proof procedure I: Theoretical considerations — Decision Support Systems, 1985