Alexander K. Petrenko

  joint publications with Andrei Voronkov

Publications