Bottom-Up Evaluation of Logic Programs Using Binary Decision Diagrams. - Mizuho Iwaihara; Yusaku Inoue (ICDE, 1995)