On Definitional Transformations to Normal Form for Institionistic Logic

Uwe Egly. On Definitional Transformations to Normal Form for Institionistic Logic. Fundamenta Informaticae, 29(1-2):165-201, 1997.

Authors

Uwe Egly

This author has not been identified. Look up 'Uwe Egly' in Google