Author: International Workshop on Mathematics Mechanization (1992 Beijing)