Citation: Cg. Giraudcarrier et Tr. Martinez, AN INTEGRATED FRAMEWORK FOR LEARNING AND REASONING, The journal of artificial intelligence research, 3, 1995, pp. 147-185
Citation: C. Barker et Tr. Martinez, PROOF OF CORRECTNESS FOR ASOCS AA3 NETWORKS, IEEE transactions on systems, man, and cybernetics, 24(3), 1994, pp. 503-510