Stephen E. Cross. A qualitative reasoning approach to mathematical and heuristic knowledge integration. In Raoul N. Smith, Richard W. Pew, Ann Janda, editors, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI 1983, Boston, Massachusetts, USA, December 12-15, 1983. pages 186-189, ACM, 1983. [doi]
Abstract is missing.