Chilukuri K. Mohan, Mandayam K. Srivas, Deepak Kapur. Inference Rules and Proof Procedures for Inequations. Journal of Logic and Algebraic Programming, 9(1):75-104, 1990.
@article{MohanSK90,
title = {Inference Rules and Proof Procedures for Inequations},
author = {Chilukuri K. Mohan and Mandayam K. Srivas and Deepak Kapur},
year = {1990},
tags = {rule-based, rules},
researchr = {https://researchr.org/publication/MohanSK90},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Algebraic Programming},
volume = {9},
number = {1},
pages = {75-104},
}