-M. Cadoli: Tractable Reasoning in Artificial Intelligence, Springer-Verlag 1995 (Subseries LNAI)