Program optimization with logic program transformation

Hoshino, H., Esashi, M., Agusa, K., & Ohno, Y. (2006). Program optimization with logic program transformation. Lecture notes in control and information sciences, 725–734. https://doi.org/10.1007/bfb0042841

Hoshino, Hiroshi, et al. “Program optimization with logic program transformation.” Lecture notes in control and information sciences, 2006, pp. 725–34, https://doi.org/10.1007/bfb0042841.

Hoshino, Hiroshi, Masahiro Esashi, Kiyoshi Agusa, and Yutaka Ohno. 2006. “Program optimization with logic program transformation.” Lecture notes in control and information sciences: 725–34. https://doi.org/10.1007/bfb0042841.

Hoshino, H. et al. (2006) ‘Program optimization with logic program transformation’, Lecture notes in control and information sciences, pp. 725–734. Available at: https://doi.org/10.1007/bfb0042841.

@incollection{hoshino2006program,
  title = {{Program optimization with logic program transformation}},
  author = {Hoshino, Hiroshi and Esashi, Masahiro and Agusa, Kiyoshi and Ohno, Yutaka},
  booktitle = {Lecture notes in control and information sciences},
  pages = {725--734},
  year = {2006},
  doi = {10.1007/bfb0042841}
}