Reduced first-level representations via the reformulation-linearization technique: Results, counterexamples, and computations
scientific article; zbMATH DE number 1428628
scientific article