Characterizing Implications of Injective Partial Orders
J. Balcázar, и G. Garriga. Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), том 4604 из Lecture Notes in Artificial Intelligence, стр. 492-495. Berlin, Heidelberg, Springer-Verlag, (июля 2007)