Objective To understand the characteristics of induced abortion in China in the 1990s,and to find out the influential factors.Methods The overall number of indu
This paper introduces some improvements on the intelligent backtracking strategyfor forward chaining theorem proving. How to decide a minimal useful consequent