Lightweight relevance filtering for machine-generated resolution problems
Article in Journal of Applied Logic (March 2009)
The most recent citing publication is shown below. View this citation on Dimensions.
Article in Journal of Applied Logic (March 2009)