Hiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Y. Yamamoto. Framework for Synthesis by Unfolding of Declarative Programs. In Hamid R. Arabnia, Youngsong Mun, editors, Proceedings of the International Conference on Artificial Intelligence, IC-AI 02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 3. pages 1060-1066, CSREA Press, 2002.
No references recorded for this publication.
No citations of this publication recorded.