Joonyeoub Sung, Lawrence J. Henschen. A New Recursive Subclass of Domain Independent Formulas Based on Subimplication. 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 475-484, IEEE Computer Society, 1995. [doi]
@inproceedings{SungH95,
title = {A New Recursive Subclass of Domain Independent Formulas Based on Subimplication},
author = {Joonyeoub Sung and Lawrence J. Henschen},
year = {1995},
tags = {rule-based},
researchr = {https://researchr.org/publication/SungH95},
cites = {0},
citedby = {0},
pages = {475-484},
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},
}