"A predicate-ordered logic for knowledge representation on the web."

Yuzhong Qu (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics