Supporting Concurrent Acces to Facts in Logic Programs.

Ulf Schreier Hartmut Wedekind Supporting Concurrent Acces to Facts in Logic Programs. 102-108 1988 JCDKB db/conf/jcdkb/jcdkb88.html#SchreierW88