Normal forms, Distributive laws, and Uniform interpolants

Abstract

Normal forms are constructed via application of distributive laws, uniform interpolants can often be constructed removing occurrences of speci ed atoms from a normal form of a given formula.

Keywords

• Normal
• forms
• Distributive
• Uniform
• interpolants