Zaslat SMS: On the algorithmic construction of classifying spaces and the isomorphism problem for biautomatic groups