Satisfiability and Containment Problem of Structural Recursions with Conditions.

Balzs Ksa, Andrs A. Benczr, Attila Kiss

Browse the full ADBIS paper archive.