Return to Article Details On construction of the comparison function of program motion in probable statement Download Download PDF