Kima- An automated error correction system for concurrent logic programs.

Yasuhiro Ajiro Kazunori Ueda Kima- An automated error correction system for concurrent logic programs. 2000 AADEBUG http://arxiv.org/abs/cs.SE/0012007 db/conf/aadebug/aadebug2000.html#AjiroU00