Jean-Marc Champarnaud Djelloul Ziadi From Mirkin's Prebases to Antimirov's Word Partial Derivatives. 195-205 2001 45 Fundam. Inform. 3 db/journals/fuin/fuin45.html#ChamparnaudZ01