Search
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
with Futatsugi Kokichi, Jouannaud Jean-Pierre (ed)
Dordrecht, Springer