Applications of Transaction Logic to Knowledge Representation.

Anthony J. Bonner Michael Kifer Applications of Transaction Logic to Knowledge Representation. 67-81 1994 conf/ictl/1994 ICTL db/conf/ictl/ictl1994.html#BonnerK94