Inference-based decision support system for value taxation control
The paper considers decision support system for value added taxation control. The system is based on the inference in predicate calculus