Ramaswamy Ramanujam Rules for Trace Consistent Reasoning. 57-71 1997 conf/asian/1997 ASIAN db/conf/asian/asian97.html#Ramanujam97