Belaid Benhamou, Laurent Henocque. A Hybrid Method for Finite Model Search in Equational Theories. Fundamenta Informaticae, 39(1-2):21-38, 1999.
@article{BenhamouH99, title = {A Hybrid Method for Finite Model Search in Equational Theories}, author = {Belaid Benhamou and Laurent Henocque}, year = {1999}, tags = {search}, researchr = {https://researchr.org/publication/BenhamouH99}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {39}, number = {1-2}, pages = {21-38}, }