Logical equations with applications to automatic design and control
scientific article