Laurent Heocque

Bibliography

Benhamou, Belaid and Heocque, Laurent. 1998. “Finite Model Search for Equational Theories (FMSET).” in Artificial Intelligence and Symbolic Computation: Proceedings of AISC’98, edited by Jacques Calmet and Jan Plaza, pp. 84–93. Berlin: Springer.