Yasuhiro Ajiro, Kazunori Ueda. Kima: An Automated Error Correction System for Concurrent Logic Programs. Automated Software Engineering, 9(1):67-94, 2002.
@article{AjiroU02, title = {Kima: An Automated Error Correction System for Concurrent Logic Programs}, author = {Yasuhiro Ajiro and Kazunori Ueda}, year = {2002}, tags = {logic programming, logic}, researchr = {https://researchr.org/publication/AjiroU02}, cites = {0}, citedby = {0}, journal = {Automated Software Engineering}, volume = {9}, number = {1}, pages = {67-94}, }