Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner <br/><br/>
Fields of Logic and Computation III 

 -  Springer  Springer  2020 
<br/><br/><label>ISBN: </label>9783030480066 
<br/><br/><label>Source: </label>EBOOK