1. Kripke models for linear logic
2. Almendros-Jiménez, J., Luna, A. and Moreno, G.A Flexible XPath-based Query Language Implemented With Fuzzy Logic Programming. Proceedings of 5th International Symposium on Rules: Research Based, Industry Focused, RuleML’11, Lecture Notes on Computer Science 6826. July19–21, Barcelona, Spain. pp.186–193. Berlin Heidelberg: Springer Verlag.
3. Caballero, R., Rodríguez-Artalejo, M. and Romero-Díaz, C. A.Similarity-based Reasoning in Qualified Logic Programming. Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP ’08. Valencia, Spain. pp.185–194. New York, USA: ACM.
4. A coalgebraic approach to non-determinism: Applications to multilattices
5. Cabrera, I., Cordero, P., Gutiérrez, G., Martínez, J. and Ojeda-Aciego, M.Coalgebras and Non-determinism: An Application to Multilattices. Proceedings of Physics and Computation. Luxor, Egypt.