Inference rules using local contexts (1988)

by L G Monk
Venue:Journal of Automated Reasoning