num_pages: 512
language: English
title: A Computational Logic Handbook
publisher: Academic Press