added provenance and semirings
updated papers