Interfacing external CA systems for Grobner bases computation in Mizar proof checking. - Naumowicz, Adam (International Journal of Computer Mathematics, 2010)