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

Yasuhiro Ajiro Kazunori Ueda Kima - An Automated Error Correction System for Concurrent Logic Programs. 99-118 2000 conf/aplas/2000 APLAS db/conf/aplas/aplas2000.html#AjiroU00