Re: Latex style

Hi Cristiano, hi all,

searching google for "dl.sty" I stumbled upon the following URL:

ftp.wins.uva.nl/pub/theory/illc/illcindividuals/mdr/M4M/03horrocks/dl.sty

which should provide what you're searching for. Well, sometimes the
FIRST hit on google is not that far from what you're expecting... ;-)

Note that the directory contents seem like the latex sources of Journal
articles, so you might want to contact the authors/editors to check if
you can freely use the .sty file. I guess there should be no problem, as
the files are easily available on the Web, but I think that if you ask
first it will be considered much more fair ;-)

Cheers,

Davide

> Morning, i'm looking for latex facilities(styles and symbols) for
> description logics.
> May anyone help me?