. Institute for Advanced Study, 2013. RCC93. D. A. Randell, Z. Cui, and A. G. Cohn. A spatial logic based on regions and connection. 1993. Rcs99. J. Reece. Genetic programming acquires solutions by combining top-down and bottom-up refine- ment. In Foundations of Generic Programming. 1999. Row90. John