Solving zero-dimensional involutive systems
1996 ◽
pp. 389-399
◽