@article{weko_233824_1, author = "Bach,Nguyen Trong and Kanae,Tsushima and Zhenjiang,Hu", title = "SynthBX: An Example-guided Synthesizer for Bidirectional Programs on Relations", journal = "情報処理学会論文誌データベース(TOD)", year = "2024", volume = "17", number = "2", month = "apr" }