"Notes on Partially-Ordered Structures in Computer Science: I. PA-Ordered ..."

Dragos Vaida (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics