Class(WORKSHOP-PROCEEDINGS-REFERENCE partial PROCEEDINGS-REFERENCE restriction(REFERS-TO-PUBLICATION allValuesFrom(WORKSHOP-PROCEEDINGS)))