In this paper we present a specification of components and data types for a proposition solver. The specification language we use is $mu$CRL. The components are specified in such a way that they may serve as building blocks in various applications.

CWI
Software Engineering [SEN]
Software Analysis and Transformation

Lisser, B, & van Wamel, J.J. (1997). Specification of components in a proposition solver. Software Engineering [SEN]. CWI.