@inproceedings{oai:fun.repo.nii.ac.jp:00004941,
 author = {Hirata, Keiji},
 month = {},
 note = {Proceedings of Japan-Sweden-Italy Joint Workshop on Logic Programming},
 publisher = {ICOT},
 title = {Progress Report on Development of KL1 Engine in ICOT},
 year = {1990}
}