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.
@inproceedings{MabuchiAIY02,
title = {Framework for Synthesis by Unfolding of Declarative Programs},
author = {Hiroshi Mabuchi and Kiyoshi Akama and Takahiko Ishikawa and Y. Yamamoto},
year = {2002},
researchr = {https://researchr.org/publication/MabuchiAIY02},
cites = {0},
citedby = {0},
pages = {1060-1066},
booktitle = {Proceedings of the International Conference on Artificial Intelligence, IC-AI 02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 3},
editor = {Hamid R. Arabnia and Youngsong Mun},
publisher = {CSREA Press},
isbn = {1-892512-27-0},
}