4 works on record
Computational Logic CL 2000 00
Natural Language Understanding and Logic Programming, II
Practical Aspects of Declarative Languages
Prolog