owl.ltl.util
Classes
FormulaIsomorphism