William Dobson's translation of the 'Anti-Lucretius' was published in