Simonis, H.; Dincbas, M. Propositional calculus problems in CHIP. (English) Zbl 1493.68077 Kirchner, Hélène (ed.) et al., Algebraic and logic programming. Second international conference, Nancy, France, October 1–3, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 463, 189-203 (1990). MSC: 68N17 03B05 68T20 PDFBibTeX XMLCite \textit{H. Simonis} and \textit{M. Dincbas}, Lect. Notes Comput. Sci. 463, 189--203 (1990; Zbl 1493.68077) Full Text: DOI
Büttner, Wolfram; Simonis, Helmut Embedding Boolean expressions into logic programming. (English) Zbl 0641.68148 J. Symb. Comput. 4, 191-205 (1987). MSC: 68T15 03G05 PDFBibTeX XMLCite \textit{W. Büttner} and \textit{H. Simonis}, J. Symb. Comput. 4, 191--205 (1987; Zbl 0641.68148) Full Text: DOI