Report - Upside-down Deductionmethods benefit from the same properties of upside-down meta-interpretation. They do not re-implement search strategies - depth-first for Satchmo, breadth-first

Please pass captcha verification before submit form