
:- comment(copyright,"Copyright @copyright{} F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. L@'{o}pez, and G. Puebla

@include{Copyright.Manuals}

").
