To: afp-submit at in.tum.de

Authors:
URLs/email addresses:

Title:

Entry name:

Abstract:



Maintainer:

License: 
If accepted, I publish my submission under the terms of the BSD-style
license detailed at [http://afp.sf.net/LICENSE].