A formalism for views in a logic data base. - José Carlos Ferreira Maia Neves; George F. Lugger; João M. Carvalho (ACM Conference on Computer Science, 1986)