Finding Precedents Using the Library Catalogue