%%% @hfill not understood by some tools?
%% :- doc(address, "@tt{clip@@dia.fi.upm.es} @hfill The CLIP Group").
%% :- doc(address, 
%%   "@tt{http://www.clip.dia.fi.upm.es/} @hfill Facultad de Inform@'{a}tica").
%% :- doc(address, "@hfill Universidad Polit@'{e}cnica de Madrid").
:- doc(address, "The Computational logic, Languages, ").
:- doc(address, "Implementation, and Parallelism (CLIP) Lab").
%% :- doc(address, "The CLIP Group").
:- doc(address, "@href{https://www.cliplab.org/}").
%:- doc(address, "@email{webmaster@@clip.dia.fi.upm.es}").
%:- doc(address, "School of CS, Technical University of Madrid"). 
:- doc(address, "School of CS, T. U. of Madrid (UPM)"). 
% :- doc(address, "CS and ECE Departments, University of New Mexico").
:- doc(address, "IMDEA Software Institute").
