CITATION STYLE
Pastre, D. (2001). Muscadet 2.3: A knowledge-based theorem prover based on natural deduction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2083 LNAI, pp. 685–689). Springer Verlag. https://doi.org/10.1007/3-540-45744-5_56
Mendeley helps you to discover research relevant for your work.