et al. Vega: System for manipulating discrete mathematical structures. Available via anonymous ftp from ftp.mat.uni-lj.si (1993)

by T Pisanski
Venue:In Thirteenth Conference on the Foundations of Software Technology and Theoretical Computer Science