Proof theory for exception handling in a tasking environment K. LodayaR. K. Shyamasundar OriginalPaper Pages: 7 - 41
A characterization of set representable labeled partial 2-structures through decompositions A. EhrenfeuchtG. Rozenberg OriginalPaper Pages: 83 - 94