"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning.

Hao Ren, Ratnesh Kumar, Matthew A. Clark

Browse the full ICINCO paper archive.