Constructive proof (current) Trans-lunar injection Carbamoyl phosphate synthase II Halas and Batchelor Validly published name Migrations from Poland since accession to the European Union John Murphy (composer) New England String Ensemble Sketch Engine Promotion and relegation In Search of Lost Time Defibrillation H. C. Coombs Hyperbolic link Army Commendation Medal A Colbert Christmas: The Greatest Gift of All! Machine Elves Fred Niblo High-speed steam engine Scouting in Iowa Gobe Software Lax–Richtmyer theorem