Practically useful variants of definitional translations to normal form

• Authors:

• Uwe Egly;Thomas Rath

• Affiliations:

• Abt. Wissenbasierte Systeme, Vienna, Austria;MIS Technologies GmbH, Darmstadt, Germany

• Venue:
• Information and Computation
• Year:
• 2000