• Subsumer

  • Referenced in 3 articles [sw13854]
  • Subsumer: a Prolog θ-subsumption engine. State-of...