Experience with parallel symbolic applications in Orca
1996 ◽
pp. 266-285