View of Maximal common predicate sub-formula extraction with the use of Maslov's inverse method

Return to Article Details Maximal common predicate sub-formula extraction with the use of Maslov's inverse method Download Download PDF