A New Recursive Subclass of Domain Independent Formulas Based on Subimplication.

Joonyeoub Sung, Lawrence J. Henschen

Browse the full ICDE paper archive.