Exploiting SAT solvers in unbounded model checking K. L. McMillan Cadence Berkeley Labs.
World Trade Organization Donor Coordination Dialogue Annex D Support for effective implementation of a new Trade Facilitation Agreement World Bank World.