Book

Logics in Artificial Intelligence

by Steffen Hölldobler, Carsten Lutz, Heinrich Wansing