Kima: An Automated Error Correction System for Concurrent Logic Programs.

Yasuhiro Ajiro Kazunori Ueda Kima: An Automated Error Correction System for Concurrent Logic Programs. 67-94 2002 9 Autom. Softw. Eng. 1 db/journals/ase/ase9.html#AjiroU02