A scheme for deducing logic programs from bottom to top

Huo Yan Chen. A scheme for deducing logic programs from bottom to top. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, November 14-17, 1989, Cambridge, Massachusetts, USA. pages 875-876, IEEE, 1989. [doi]

@inproceedings{Chen89b,
  title = {A scheme for deducing logic programs from bottom to top},
  author = {Huo Yan Chen},
  year = {1989},
  doi = {10.1109/ICSMC.1989.71420},
  url = {http://dx.doi.org/10.1109/ICSMC.1989.71420},
  researchr = {https://researchr.org/publication/Chen89b},
  cites = {0},
  citedby = {0},
  pages = {875-876},
  booktitle = {Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, November 14-17, 1989, Cambridge, Massachusetts, USA},
  publisher = {IEEE},
}