Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic

Dörthe Arndt, Tom Schrijvers, Jos De Roo, Ruben Verborgh