Characterizing Implications of Injective Partial Orders
J. Balcázar, und G. Garriga. Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), Volume 4604 von Lecture Notes in Artificial Intelligence, Seite 492-495. Berlin, Heidelberg, Springer-Verlag, (Juli 2007)