TY  - RPRT
TI  - Kima - an Automated Error Correction System for Concurrent Logic Programs
AU  - Yasuhiro Ajiro
AU  - Kazunori Ueda
PY  - 2001
UR  - https://arxiv.org/abs/cs/0012007
ID  - cs/0012007
ER  -