LaTeX style: new-tlp The new-tlp style files are downloaded from the Theory and Practice of Logic Programming author instructions page.