> 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. Wouldn't a reference to a good book on discrete math/logic be sufficient? -- see shy jo