Inductive logic (North-Holland, 2011)
Includes bibliographical references and index