Z-match: An Inference Rule for Incrementally Elaborating Set Instantiations (1993)

by S C Bailin, D Barker-Plummer
Venue:Journal of Automated Reasoning