https://123dok.net/document/zx5odjlw-combination-boolean-games-description-logics-automated-attribute-negotiation.html