related documents Mining Library Specifications using Inductive Logic Programming Conference Proceeding