@article{oai:waseda.repo.nii.ac.jp:00017306,
 author = {Ono, K. and Kawano, S. and Fukazawa, Yoshiaki and Kadokura, T.},
 journal = {System Sciences, 1992. Proceedings of the Twenty-Fifth Hawaii International Conference on},
 month = {Jan},
 note = {text},
 pages = {480--487},
 title = {A resolution method from predicate logic specification into executable code},
 volume = {Volume ii},
 year = {1992}
}