Catalogue of artificial intelligence tools / - Bundy, Alan. (Springer-Verlag, 1986)