Report copyright - INFERENCE RULES AND PROOF PROCEDURES FOR INEQUATIONS · inequations is also modified to obtain a semidecision procedure for solving inequations in a theory, i.e., finding a substitution
Please pass captcha verification before submit form