http://greek-lod.math.auth.gr/police/gad/http://www.ontotext.com/proton/protonext

used by 1: