Talkin'bout Consistency, or: When Logically Possible Becomes Possible. - Luis Fariñas del Cerro; Antonio Frias Delgado; Andreas Herzig (FAPR, 1996)

An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus. - Antonio Frias Delgado; Jose Antonio Jimenez Millan (JELIA, 2000)

Aproximación a la Categorización Textual en español basada en la Semántica de Marcos. - Mario Crespo Miguel; Antonio Frias Delgado (Proces. del Leng. Natural, 2008)

A note on Barcan formula. - Antonio Frias Delgado (J. Appl. Non Class. Logics, 2017)