SMT-SLD PDF File