Handbook of automated reasoning - Robinson, John A. 1930-2016; Voronkov, Andrei 1959- (Elsevier [u.a.], 2001)
Online-Ressource eines mehrbändigen begrenzenten Werkes