[Termtools] standard references for termination provers

[Johannes Waldmann]

Dear Tool + Library Authors,

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)


While we're at it - what is the preferred way
of referring to TPDB? I introduced this wiki page recently
http://termination-portal.org/wiki/TPDB
but is there a publication (in the above sense)?

Looking at the wiki - if you have suggestions for improving
the data and navigation there, then by all means say so.
For checking the status, this is helpful:
http://termination-portal.org/wiki/Special:Specialpages

Thanks - Johannes.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 257 bytes
Desc: OpenPGP digital signature
Url : http://lists.lri.fr/pipermail/termtools/attachments/20090513/411866ac/attachment.pgp