Author:
Hasegawa Ryuzo,Fujita Hiroshi,Koshimura Miyuki
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. J. Akahani, K. Inoue, and R. Hasegawa. Bottom-Up Modal Theorem Proving Based on Modal Clause Transformation. J. IPS Japan, 36(4):822–831, April 1995. (in Japanese).
2. F. Bancilhon, D. Maier, Y. Sagiv, and J.D. Ullman. Magic sets and other strange ways to implement logic programs. In Proc. 5th ACM SIGMOD-SIGACT Symp. on Principles of Database Systems, pages 1–15, 1986.
3. F. Bennett. Quasigroup Identities and Mendelsohn Designs. Canadian Journal of Mathematics, 41:341–368, 1989.
4. F. Bry. Query evaluation in recursive databases: bottom-up and top-down reconciled. Data & Knowledge Engineering, 5:289–312, 1990.
5. M. Fitting. First-Order Modal Tableaux. In J. Automated Reasoning, volume 4, pages 191–213, 1988.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献