1. Maintaining knowledge about temporal intervals;Allen;Communications of the ACM,1983
2. Hyperproof: Logical reasoning with diagrams;Barwise,1992
3. Heterogeneous logic;Barwise,1993
4. Recognition-by-components: A theory of human image understanding;Biederman;Psychological Review,1987
5. Towards a theory of commonsense visual reasoning;Chandrasekaran,1990