15 citations · 17 across the 2 of their papers we have counts for
1 paper · 2 filters
Wei Li
A first order inference system, called R-calculus, is defined to develop the specifications. It is used to eliminate the laws which is not consistent with the user's requirements.…