Elisha Sacks Piecewise Linear Reasoning. 655-661 1987 conf/aaai/1987 AAAI db/conf/aaai/aaai87.html#Sacks87a http://www.aaai.org/Library/AAAI/1987/aaai87-117.php