1.

電子ブック
ＥＢ
1. TAPSOFT'93: Theory and Practice of Software Development : 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings
edited by M. -C. Gaudel, J. -P. Jouannaud
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 668
オンライン: http://dx.doi.org/10.1007/3-540-56610-4
2.

電子ブック
ＥＢ
2. Conditional Term Rewriting Systems : 1st International Workshop Orsay, France, July 8–10, 1987 Proceedings
edited by S. Kaplan, J. -P. Jouannaud
出版情報: Berlin, Heidelberg : Springer-Verlag, 1988
シリーズ名: Lecture Notes in Computer Science ; 308
オンライン: http://dx.doi.org/10.1007/3-540-19242-5