Clause de Horn

concept

clause comportant au plus un littéral positif

Propriétés

Catégories