Measurement of Rule-based LTLf Declarative Process Specifications | IEEE Conference Publication | IEEE Xplore