附注:
xv, 738 p. : 
著者:
Nieuwenhuis, Robert.
著者:
Voronkov, A.