Mizuho Iwaihara, Yusaku Inoue. Bottom-Up Evaluation of Logic Programs Using Binary Decision Diagrams. In Philip S. Yu, Arbee L. P. Chen, editors, Proceedings of the Eleventh International Conference on Data Engineering, March 6-10, 1995, Taipei, Taiwan. pages 467-474, IEEE Computer Society, 1995. [doi]
@inproceedings{IwaiharaI95,
title = {Bottom-Up Evaluation of Logic Programs Using Binary Decision Diagrams},
author = {Mizuho Iwaihara and Yusaku Inoue},
year = {1995},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/IwaiharaI95},
cites = {0},
citedby = {0},
pages = {467-474},
booktitle = {Proceedings of the Eleventh International Conference on Data Engineering, March 6-10, 1995, Taipei, Taiwan},
editor = {Philip S. Yu and Arbee L. P. Chen},
publisher = {IEEE Computer Society},
isbn = {0-8186-6910-1},
}