Substructural Operational Semantics as Ordered Logic Programming | IEEE Conference Publication | IEEE Xplore