An Efficient Proof Procedure for a Family of Lightweight Database Schemas

CASANOVA, M. A. ; BREITMAN, K. ; FURTADO, L. A. ; VIDAL, V. M. P. ; MACEDO, J. A. . An Efficient Proof Procedure for a Family of Lightweight Database Schemas.. In: Michael G. Hinchey; Lorcan Coyle.. (Org.). Conquering Complexity. 1ed.Heidelberg: Springer, 2011, v.: Heidelberg : Springer, 2011. v. 7045. p. 781-799., 2011, v. 1, p. 453-484.

2011