3 works on record
Algebraic and logic programming
Automata, Languages and Programming
Logic Colloquium '87