SIS - A Symbolic Information Management System

S. Bandyopadhyay, John S. Devitt. SIS - A Symbolic Information Management System. Journal of Symbolic Computation, 4(3):397-408, 1987.

Abstract

Abstract is missing.