%0 Conference Paper %1 conf/icai/MabuchiAIY02 %A Mabuchi, Hiroshi %A Akama, Kiyoshi %A Ishikawa, Takahiko %A Yamamoto, Y. %B IC-AI %D 2002 %E Arabnia, Hamid R. %E Mun, Youngsong %I CSREA Press %K dblp %P 1060-1066 %T Framework for Synthesis by Unfolding of Declarative Programs. %U http://dblp.uni-trier.de/db/conf/icai/icai2002-3.html#MabuchiAIY02 %@ 1-892512-27-0

@inproceedings{conf/icai/MabuchiAIY02, added-at = {2005-06-14T00:00:00.000+0200}, author = {Mabuchi, Hiroshi and Akama, Kiyoshi and Ishikawa, Takahiko and Yamamoto, Y.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2cf9efd8173f12658aeda347fa5a5c9e1/dblp}, booktitle = {IC-AI}, crossref = {conf/icai/2002-3}, editor = {Arabnia, Hamid R. and Mun, Youngsong}, interhash = {8e5db92618f3a766b28806bd9f02fb57}, intrahash = {cf9efd8173f12658aeda347fa5a5c9e1}, isbn = {1-892512-27-0}, keywords = {dblp}, pages = {1060-1066}, publisher = {CSREA Press}, timestamp = {2016-02-02T13:10:13.000+0100}, title = {Framework for Synthesis by Unfolding of Declarative Programs.}, url = {http://dblp.uni-trier.de/db/conf/icai/icai2002-3.html#MabuchiAIY02}, year = 2002 }