5 works on record
Logic programming
Multiprocessor Execution of Logic Programs
Practical Aspects of Declarative Languages
Logic-Based Program Synthesis and Transformation
Logic Programming and Nonmonotonic Reasoning
