On Tue, Jan 02, 2001 at 09:17:54PM +0100, Goswin Brederlow wrote: > Maybe you can find some webpage describing such reductions to this > standard form (whatever that then is). I couldn't find a good one, so I wrote my own. I'll move it to my Debian webspace later today. If anyone wants to look at it, the current version is at http://oss.lineo.com/~kraai/cnf.html . I'm not sure what the policy is about including such URLs in policy, however. Matt