The CHR-based Implementation of the SCIFF Abductive System

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2013-839

Related search