• # Nunchaku

• Referenced in 3 articles [sw40755]
• finding models of universally quantified formulas in some restricted fragments of first-order logic. This ... recursive functions, including terminating functions, to universally quantified formulas for which these techniques are applicable...
• # ArgoCLP

• Referenced in 12 articles [sw07192]
• structure of the formulae is restricted to the universal quantification of an implication in which ... succedent is a disjunction of existentially quantified formulae which are conjunctions of atoms.par Coherent logic...