Annalisa Bossi Maurizio Gabbrielli Giorgio Levi Maurizio Martelli The s-Semantics Approach: Theory and Applications. 149-197 1994 19/20 J. Log. Program. db/journals/jlp/jlp19.html#BossiGLM94 http://dx.doi.org/10.1016/0743-1066(94)90026-4