Hybrid interpretation of induction results

X. Wu. Hybrid interpretation of induction results. In IFIP World Conference on IT Tools. 1996.

Abstract

Abstract is missing.