A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation
scientific article; zbMATH DE number 1005853