Decision theory and artificial intelligence. I: A semantics-based region analyzer
scientific article; zbMATH DE number 3454832