Formal Derivation of the Combinatorics Problems with PAR Method

Lingyu Sun, Yatian Sun. Formal Derivation of the Combinatorics Problems with PAR Method. JSEA, 2(3):195-199, 2009. [doi]

Abstract

Abstract is missing.