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.

Requirements/Specifications (acm D.2.1)
Software (theme 1)
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.