[Termtools] standard references for termination provers

[Carsten Otto]

Dear list,

On Wed, May 13, 2009 at 05:44:04PM +0200, Johannes Waldmann wrote:
> could you please add to your "tools" data on the termination wiki
> a bibtex record (or a reference to its DBLP entry)
> that others should use when referring to your tool.
> (So, it should be *one* *real* publication:
> not just some URL, and not a long list of all of your papers)

I just introduced a new field in the Tool template that can be used to
provide this information. Since we already have a working category for
bibtex records[1] I suggest using an internal wiki link to the bibtex
entry in the wiki. I provided an example for AProVE[2] (see the source
code[3] to modify the information for your tool).

[1]: http://termination-portal.org/wiki/Category:Bibtex
[2]: http://termination-portal.org/wiki/Tools:AProVE
[3]: http://termination-portal.org/mediawiki/index.php?title=Tools:AProVE&action=edit

Best regards,
-- 
Carsten Otto           otto at informatik.rwth-aachen.de
LuFG Informatik 2      http://verify.rwth-aachen.de/otto/
RWTH Aachen            phone: +49 241 80-21211
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 197 bytes
Desc: Digital signature
Url : http://lists.lri.fr/pipermail/termtools/attachments/20090513/65435f46/attachment.pgp