Verifying reference nets by means of hypernets:a plugin for RENEW Mascheroni, Marco Wagner, Thomas Wüstenberg, Lars 2010 - Forschungsinformationssystem der UHH