4 works on record
Logic for programming and automated reasoning
Informatik
ESOP '88
Automated Deduction - CADE-16