2 works on record
Non-monotonic extensions of logic programming
1995
Logic Programming and Knowledge Representation