Logical Formalism for Camera Problem

From the ACM Transactions on Computational Logic (TOCL)
Interval Constraint Solving for Camera Control and Motion Planning, Frederic Benhamou, Frederic Goualard, Eric Languenou and Marc Christie