Abstracting s-semantics using a model-theoretic approach
Boulanger, Dmitri ; Bruynooghe, Maurice ; Denecker, Marc Hermenegildo, M ; Penjam, J
Lecture notes in computer science, 1994, Vol.844, p.432-446
[Periódico revisado por pares]
Springer
Texto completo disponível