@Article{BB93, Author = "Bailin, S. and Barker-Plummer, D.", Year = "1993", Title = "{L-match: An Inference Rule for Incrementally Elaborating Set Instantiations}", Journal = "Journal of Automated Reasoning", Volume = "11", Number = "3", Pages = "391-428", Comment = "TPTPRef" }