LARA

Implication is Preorder

How to construct approximate domains?

Formulas defining domains.