Specification of components in a proposition solver
Bert Lisser, Jos J. van Wamel · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1997
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.