Media type: E-Article Title: On the Move to Meaningful Internet Systems: OTM 2011 Workshops: A Derivation Procedure for Set-Comparison Constraints in Fact-Based Modeling Contributor: Bollen, Peter imprint: Springer Berlin Heidelberg, 2011 Published in: On the Move to Meaningful Internet Systems: OTM 2011 Workshops Language: Not determined DOI: 10.1007/978-3-642-25126-9_44 ISSN: 0302-9743; 1611-3349 Origination: Footnote: