2014

1. An axiomatic approach to maintaining the consistency of a hypermedia information system based on the SEM-HP model

   Logic Journal of the IGPL, Vol. 22, Núm. 6, pp. 1045-1074