A New Recursive Subclass of Domain Independent Formulas Based on Subimplication

Sorry, there's nothing here.

Cite this paper

@inproceedings{Sung1995ANR, title={A New Recursive Subclass of Domain Independent Formulas Based on Subimplication}, author={Joonyeoub Sung and Lawrence J. Henschen}, booktitle={ICDE}, year={1995} }