Source: /wikibot/tseytin-transformation

= Tseytin transformation
{wiki=Tseytin_transformation}