• Ian Hodkinson Frank Wolter Michael Zakharyaschev (auth.) Robert Nieuwenhuis Andrei Voronkov (eds.)

17 - 19Hours to read