Structured proof procedures Enrico GiunchigliaAlessandro ArmandoPaolo Pecchiari OriginalPaper Pages: 1 - 18
Computational mereology: A study of part-of relations for multimedia indexing Wlodek ZadroznyMichelle Kim OriginalPaper Pages: 83 - 100