1. Björn Assmann and Stephen Linton, Using the Malcev correspondence for collection in polycyclic groups, J. Algebra 316 (2007), no. 2, 828–848.[MR]