A Semantic Basis of Logic-Independent Transformation.

Junbo Liu A Semantic Basis of Logic-Independent Transformation. 268-279 1992 conf/compass/1992 COMPASS/ADT db/conf/compass/compass92.html#Liu92