Logical expressions: analysing, normalising and generalising – adapting a scienti c implementation in a commerical environment (1999)

by A van den Bergh