Collaborations between Sergey Voronkov and Gotlib Roninson