International Conference AISMC-1 (1992 : Karlsruhe, Germany), Calmet, J., & Campbell, J. A. (1993). Artificial intelligence and symbolic mathematical computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Springer-Verlag.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रInternational Conference AISMC-1 (1992 : Karlsruhe, Germany), Jacques Calmet, और John A. Campbell. Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Berlin: Springer-Verlag, 1993.
एमएलए (9वां संस्करण) प्रशस्ति पत्रInternational Conference AISMC-1 (1992 : Karlsruhe, Germany), et al. Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Springer-Verlag, 1993.