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]
Abstract is missing.