Logical Input Reduction

(abstract to be updated shortly)